Algebraic Logic
Published in December 1991
Book
Hardback
752 pages
978-0-444-88543-2 (ISBN)
Description
This volume is not restricted to papers presented at the 1988 Colloquium, but instead aims to provide the reader with a (relatively) coherent reading on Algebraic Logic, with an emphasis on current research. To help the non-specialist reader, the book contains an introduction to cylindric and relation algebras by Roger D. Maddux and an introduction to Boolean Algebras by Bjarni Jonsson.
This volume is not restricted to papers presented at the 1988 Colloquium, but instead aims to provide the reader with a (relatively) coherent reading on Algebraic Logic, with an emphasis on current research. To help the non-specialist reader, the book contains an introduction to cylindric and relation algebras by Roger D. Maddux and an introduction to Boolean Algebras by Bjarni Jonsson.
This volume is not restricted to papers presented at the 1988 Colloquium, but instead aims to provide the reader with a (relatively) coherent reading on Algebraic Logic, with an emphasis on current research. To help the non-specialist reader, the book contains an introduction to cylindric and relation algebras by Roger D. Maddux and an introduction to Boolean Algebras by Bjarni Jonsson.
More details
Series
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Elsevier Science & Technology
Target group
College/higher education
Professional and scholarly
Dimensions
Height: 230 mm
ISBN-13
978-0-444-88543-2 (9780444885432)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
19th Century Roots of Algebraic Logic and Universal Algebra. Relation Algebra and Logic of Programs. Structural Completeness in Algebra and Logic. Local Deduction Theorems in Algebraic Logic. On Relation Algebras with General Superpositions. An Algebraization of First Order Logic with Terms. The Representation of Dimension 3 Cylindric Algebras. Measures Defined on Free Products of Formula Algebras and Analogies with Cylindric Homomorphisms. On Some Non-Algebraizable Logics. Tarski's Development of Logic and Mathematics based on the Calculus of Relations. On Closure under Canonical Embedding Algebras. Modal-Axiomatic Classes of Kripke Models. Representability of Finite Simple Relation Algebras with Many Identity Atoms. The Theory of Binary Relations. Relativized Relation Algebras. Categorical Versus Algebraic Logic. Introductory Course on Relation Algebras, Finite-Dimensional Cylindric Algebras, and their Interconnections. On the Power of Equational Logic: Applications and Extensions. Structure Problems for Cylindric Algebras. On Jonsson's Clones of Operations on Binary Relations. Relational Interpretation of Modal Logics. Fregean Algebraic Logic. Halmos (Polyadic) Algebras in Database Theory. Characterizing Relativized Cylindric Algebras. Strictly Finite Schema Axiomatization of Quasi-Polyadic Algebras. A General Theory of Algebras with Quantifiers. Representation of Subreducts of Tarski Relation Algebras. Neatly Atomic Cylindric Algebras and Representable Isomorphisms. On a Problem in Cylindric Algebra. Finite Schema Completeness for Typeless Logic and Representable Cylindric Algebras. Representations of Relation Algebras and Patterns of Colored Triplets. Relational Games. Remarks on the Problems in the Books Cylindric Algebras (I and II) and Cylindric Set Algebras. Corrections for these Books. Open Problems.