The Resource Cylindriclike algebras and algebraic logic  Cylindriclike algebras and algebraic logic, Hajnal Andreka, Miklos Ferenczi, Istvan Nemeti (eds.)
Cylindriclike algebras and algebraic logic  Cylindriclike algebras and algebraic logic, Hajnal Andreka, Miklos Ferenczi, Istvan Nemeti (eds.)
 Summary
 Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics. Tarskis quest for finding structure in logic leads to cylindriclike algebras as studied in this book, they are among the main players in Tarskian algebraic logic. Cylindric algebra theory can be viewed in many ways: as an algebraic form of definability theory, as a study of higherdimensional relations, as an enrichment of Boolean Algebra theory, or, as logic in geometric form (cylindric in the name refers to geometric aspects). Cylindriclike algebras have a wide range of applications, in, e.g., natural language theory, database theory, stochastics, and even in relativity theory. The present volume, consisting of 18 survey papers, intends to give an overview of the main achievements and new research directions in the past 30 years, since the publication of the HenkinMonkTarski monographs. It is dedicated to the memory of Leon Henkin
 Language
 eng
 Extent
 1 online resource (478 pages)
 Note
 Print version
 Contents

 Introduction
 H. Andrka and I. Nmeti: Reducing Firstorder Logic to Df3, Free Algebras
 N.Bezhanishvili: Varieties of TwoDimensional Cylindric Algebras
 R. Hirsch and I. Hodkinson: Completions and Complete Representations
 J. Madarsz and T. Sayed Ahmed: Amalgamation, Interpolation and Epimorphisms in Algebraic Logic
 T. Sayed Ahmed: Neat Reducts and Neat Embeddings in Cylindric Algebras
 M. Ferenczi: A New Representation Theory: Representing Cylindriclike Algebras by Relativized Set Algebras
 A. Simon: Representing all Cylindric Algebras by Twisting, On a Problem of Henkin
 A. Kurucz: Representable Cylindric Algebras and ManyDimensional Modal Logics
 T. Sayed Ahmed: Completions, Complete Representations and Omitting Types
 G. Serny: Elements of Cylindric Algebraic Model Theory
 Y. Venema: Cylindric Modal Logic
 J. van Benthem: Crs and Guarded Logics: A Fruitful Contact
 R. S. Dordevic and M. D. Raskovic: Cylindric Probability Algebras.I. Duentsch: Cylindric Algebras and Relational Databases. M. Ferenczi: Probability Measures and Measurable Functions on Cylindric Algebras. A. Mann: Cylindric Set Algebras and IF Logic. G. Sgi: Polyadic Algebras. I. Sain: Definability Issues in Universal Logic
 Isbn
 9783642350252
 Label
 Cylindriclike algebras and algebraic logic
 Title
 Cylindriclike algebras and algebraic logic
 Statement of responsibility
 Hajnal Andreka, Miklos Ferenczi, Istvan Nemeti (eds.)
 Language
 eng
 Summary
 Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics. Tarskis quest for finding structure in logic leads to cylindriclike algebras as studied in this book, they are among the main players in Tarskian algebraic logic. Cylindric algebra theory can be viewed in many ways: as an algebraic form of definability theory, as a study of higherdimensional relations, as an enrichment of Boolean Algebra theory, or, as logic in geometric form (cylindric in the name refers to geometric aspects). Cylindriclike algebras have a wide range of applications, in, e.g., natural language theory, database theory, stochastics, and even in relativity theory. The present volume, consisting of 18 survey papers, intends to give an overview of the main achievements and new research directions in the past 30 years, since the publication of the HenkinMonkTarski monographs. It is dedicated to the memory of Leon Henkin
 Cataloging source
 GW5XE
 Illustrations
 illustrations
 Index
 index present
 Literary form
 non fiction
 Nature of contents

 dictionaries
 bibliography
 Series statement
 Bolyai society mathematical studies,
 Series volume
 22
 Label
 Cylindriclike algebras and algebraic logic  Cylindriclike algebras and algebraic logic, Hajnal Andreka, Miklos Ferenczi, Istvan Nemeti (eds.)
 Note
 Print version
 Antecedent source
 unknown
 Bibliography note
 Includes bibliographical references and indexes
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents
 Introduction  H. Andrka and I. Nmeti: Reducing Firstorder Logic to Df3, Free Algebras  N.Bezhanishvili: Varieties of TwoDimensional Cylindric Algebras  R. Hirsch and I. Hodkinson: Completions and Complete Representations  J. Madarsz and T. Sayed Ahmed: Amalgamation, Interpolation and Epimorphisms in Algebraic Logic  T. Sayed Ahmed: Neat Reducts and Neat Embeddings in Cylindric Algebras  M. Ferenczi: A New Representation Theory: Representing Cylindriclike Algebras by Relativized Set Algebras  A. Simon: Representing all Cylindric Algebras by Twisting, On a Problem of Henkin  A. Kurucz: Representable Cylindric Algebras and ManyDimensional Modal Logics  T. Sayed Ahmed: Completions, Complete Representations and Omitting Types  G. Serny: Elements of Cylindric Algebraic Model Theory  Y. Venema: Cylindric Modal Logic  J. van Benthem: Crs and Guarded Logics: A Fruitful Contact  R. S. Dordevic and M. D. Raskovic: Cylindric Probability Algebras.I. Duentsch: Cylindric Algebras and Relational Databases. M. Ferenczi: Probability Measures and Measurable Functions on Cylindric Algebras. A. Mann: Cylindric Set Algebras and IF Logic. G. Sgi: Polyadic Algebras. I. Sain: Definability Issues in Universal Logic
 Control code
 ocn869926093
 Dimensions
 unknown
 Extent
 1 online resource (478 pages)
 File format
 unknown
 Form of item
 online
 Isbn
 9783642350252
 Level of compression
 unknown
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Other control number
 10.1007/9783642350252
 Other physical details
 illustrations.
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)869926093
Embeddable Data  Experimental
Choose settings, then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa falg faexternallinksquare fafw"></i> Data from <span resource="http://engineerradcc.library.link/portal/Cylindriclikealgebrasandalgebraiclogic/gIuiXhlGoVY/" typeof="CreativeWork http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://engineerradcc.library.link/portal/Cylindriclikealgebrasandalgebraiclogic/gIuiXhlGoVY/">Cylindriclike algebras and algebraic logic  Cylindriclike algebras and algebraic logic, Hajnal Andreka, Miklos Ferenczi, Istvan Nemeti (eds.)</a></span>  <span property="offers" typeOf="Offer"><span property="offeredBy" typeof="Library ll:Library" resource="http://engineerradcc.library.link/#_default"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://engineerradcc.library.link/">Engineer Research and Development Center Library</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Cite Data  Experimental
Data Citation of the Item Cylindriclike algebras and algebraic logic  Cylindriclike algebras and algebraic logic, Hajnal Andreka, Miklos Ferenczi, Istvan Nemeti (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa falg faexternallinksquare fafw"></i> Data from <span resource="http://engineerradcc.library.link/portal/Cylindriclikealgebrasandalgebraiclogic/gIuiXhlGoVY/" typeof="CreativeWork http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://engineerradcc.library.link/portal/Cylindriclikealgebrasandalgebraiclogic/gIuiXhlGoVY/">Cylindriclike algebras and algebraic logic  Cylindriclike algebras and algebraic logic, Hajnal Andreka, Miklos Ferenczi, Istvan Nemeti (eds.)</a></span>  <span property="offers" typeOf="Offer"><span property="offeredBy" typeof="Library ll:Library" resource="http://engineerradcc.library.link/#_default"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://engineerradcc.library.link/">Engineer Research and Development Center Library</a></span></span></span></span></div>