This volume is a selection of papers from the European Summer Meeting of the Association for Symbolic Logic, held in Veszprém, Hungary, in August 1992. The papers included grew out of invited and contributed talks talks on the two main themes of the conference, algebraic logic, and the axiomatizability and decidability of logical systems. Written from an interdisciplinary perspective, most of the contributions investigate logical properties of formal systems by studying algebraic properties of coerresponding classes of algebras, or vice versa. The remaining papers focus on connected areas from model theory and the combination of logics.
Significant and timely, Logic Colloquium '92 is a collection of articles on algebraic logic and related areas written by the leading scholars in these fields.
is a senior research scientist at the Mathematical Institute of the Hungarian Academy of Science, Budapest Hungary. is professor of computing science at the Department of Computing, Imperial College of Science, Technology and Medicine, London U.K. is a research scientist at the Center for Mathematics and Computer Science (CWI) in Amsterdam, the Netherlands.
- Series Foreword
- 1 General Algebraic Logic including Algebraic Model Theory: An Overview
- 2 Sahlqvist Formulas are not so Elementary Even above S4
- 3 Fibred Semantics and the Weaving of Logics. Part 2: Fibring Non-monotonic Logics
- 4 Irreducible Models and Definable Embeddings
- 5 Finitizability Questions for some Reducts of Cylindirc Algebras
- 6 Countably Categorical Structures with a Distributive Lattice of Algebraically Closed Subsets
- 7 On the Derivation of Identities Involving Projection Functions
- 8 Decidable Logics of the Dynamic Trend, and Relativized Relation Algebras
- 9 Decidable Versions of First Order Logic and Cylindric-Relativized Set Algebras
- 10 On the Problem of Finitizing First Order Logic and its Algebraice Counterpart (A Survey of Results and Methods)
- 11 A Modal Logic of Quantification and Substitution
- Name Index
- Subject Index