The János Bolyai Mathematical Society held an Algebraic Logic Colloquium between 8-14 August, 1988, in Budapest. An introductory series of lectures on cylindric and relation algebras was given by Roger D. Maddux.
The present volume is not restricted to papers presented at the conference. Instead, it is aimed at providing the reader with a relatively coherent reading on Algebraic Logic (AL), with an emphasis on current research. We could not cover the whole of AL, probably the most important omission being that the category theoretic versions of AL were treated only in their connections with Tarskian (or more traditional) AL. The present volume was prepared in collaboration with the editors of the Proceedings of Ames conference on AL (Springer Lecture Notes in Computer Science Vol. 425, 1990), and a volume of Studia Logica devoted to AL which was scheduled to go to press in the fall of 1990. Some of the papers originally submitted to the present volume appear in one of the latter.
Author(s): H. Andreka, J.D.Monk, I.Nemeti (eds.)
Series: Colloquia Mathematica Societatis János Bolyai, Volume 54
Publisher: Elsevier
Year: 1991
Language: English
Commentary: Scanned, DjVu'ed, OCR'ed, TOC by Envoy
Pages: 755
Cover ......Page 1
Table of contents ......Page 5
Introduction ......Page 7
I.H.Anellis and N.Houser: Nineteenth Century Roots of Algebraic Logic and Universal Algebra ......Page 9
R.Berghammer, P.Kempf, G.Schmidt, and T.Strohlein: Relation Algebra and Logic of Programs ......Page 45
C.Bergman: Structural Completeness in Algebra and Logic ......Page 67
W.J.Blok and D.J.Pigozzi: Local Deduction Theorems in Algebraic Logic ......Page 83
D.A.Bredikhin: On Relation Algebras with General Superpositions ......Page 119
J.Cirulis: An Algebraization of First Order Logic with Terms ......Page 133
S.D.Comer: The Representation of 3-dimension Cylindric Algebras ......Page 155
M.Ferenczi: Measures Defined on Free Products of Formula Algebras and Analogies with Cylindric Homomorphisms ......Page 181
J.M.Font and V.Verdu: Algebraic Logic for Some Non-protoalgebraizable Logics ......Page 191
S.Givant: Tarski’s Development of Logic and Mathematics based on the Calculus of Relations ......Page 197
R.Goldblatt: On Closure Under Canonical Embedding Algebras ......Page 225
G.Hansoul: Modal-axiomatic Classes of Kripke Models ......Page 239
P.Jipsen and E.LukasS: Representability of Finite Simple Relation Algebras with Many Identity Atoms ......Page 249
B.Jonsson: The Theory of Binary Relations ......Page 253
R.L.Kramer: Relativized Relation Algebras ......Page 301
J.Lambek: Categorical Versus Algebraic Logic ......Page 359
R.D.Maddux: Introductory Course on Relation Algebras, Finite-dimensional Cylindric Algebras, and Their Interconnections ......Page 369
V.Manca and A.Salibra: On the Power of Equational Logic: Applications and Extensions ......Page 401
J.D.Monk: Structure Problems for Cylindric Algebras ......Page 421
I.Nemeti and H.Andreka: On Jonsson’s Clones of Operations on Binary Relations ......Page 439
E.Orlowska: Relational Interpretation of Modal Logics ......Page 451
D.J.Pigozzi: Fregean Algebraic Logic ......Page 481
В.I.Plotkin: Halmos (Polyadic) Algebras in Database Theory ......Page 511
D.Resek and R.J.Thompson: Characterizing Relativized Cylindric Algebras ......Page 527
I.Sain and R.J.Thompson: Strictly Finite Schema Axiomatization of Quasi-polyadic Algebras ......Page 547
A.Salibra: A General Theory of Algebras with Quantifiers ......Page 581
B.M.Schein: Representation of Subreducts of Tarski Relation Algebras ......Page 629
Gy.Sereny: Neatly Atomic Cylindric Algebras and Representable Isomorphisms ......Page 645
S.Shelah: On a Problem in Cylindric Algebra ......Page 653
A.Simon: Finite schema completeness for typeless logic and representable cylindric algebras ......Page 673
Zs.Tuza: Representations of Relation Algebras and Patterns of Colored Triplets ......Page 679
Y.Venema: Relational Games ......Page 703
J.D.Monk: Corrections for the Books Cylindric Algebras, Part I and Part II and Cylindric Set Algebras ......Page 727
J.D.Monk: Remarks on the Problems in the Books Cylindric Algebras, Part I and Part II and Cylindric Set Algebras ......Page 731
Open problems ......Page 735
