Logic Colloquium '92 (Book, 1995) [WorldCat.org]
skip to content
New WorldCat.org coming soon
Logic Colloquium '92
Checking...

Logic Colloquium '92

Author: László Csirmaz; Dov M Gabbay; Maarten de Rijke; Association for Symbolic Logic.
Publisher: Stanford, Calif. : CSLI Publications, ©1995.
Series: Studies in logic, language, and information.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:
"Logic Colloquium '92, the European Summer Meeting of the Association for Symbolic Logic, was held in Veszprém, Hungary, in August 1992. Two of the main themes of the event were algebraic logic, and axiomatisability and decidability of logical systems. The present volume contains a selection of papers that grew out of invited and contributed talks on these themes. Most of the papers have a strong interdisciplinary  Read more...
Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongreß
Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Online version:
Logic Colloquium (1992 : Veszprém, Hungary).
Logic Colloquium '92.
Stanford, Calif. : CSLI Publications, ©1995
(OCoLC)867746213
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: László Csirmaz; Dov M Gabbay; Maarten de Rijke; Association for Symbolic Logic.
ISBN: 1881526976 9781881526971 1881526984 9781881526988
OCLC Number: 32859675
Notes: Held Aug. 9-15, 1992, Veszprém, Hungary; sponsored by the Association for Symbolic Logic.
Description: xiii, 319 pages : illustrations ; 24 cm.
Contents: 1. General Algebraic Logic including Algebraic Model Theory: An Overview / Hajnal Andreka, Istvan Nemeti, Ildiko Sain and Agnes Kurucz --
2. Sahlqvist Formulas are not so Elementary Even above S4 / Alexander Chagrov and Michael Zakharyaschev --
3. Fibred Semantics and the Weaving of Logics. Part 2: Fibring Non-monotonic Logics / D. M. Gabbay --
4. Irreducible Models and Definable Embeddings / Silvio Ghilardi --
5. Finitizability Questions for some Reducts of Cylindric Algebras / Ben Hansen --
6. Countably Categorical Structures with a Distributive Lattice of Algebraically Closed Subsets / A. A. Ivanov --
7. On the Derivation of Identities Involving Projection Functions / Roger D. Maddux --
8. Decidable Logics of the Dynamic Trend, and Relativized Relation Algebras / Szabolcs Mikulas, Istvan Nemeti and Ildiko Sain --
9. Decidable Versions of First Order Logic and Cylindric-Relativized Set Algebras / Istvan Nemeti --
10. On the Problem of Finitizing First Order Logic and its Algebraic Counterpart (A Survey of Results and Methods) / Ildiko Sain --
11. A Modal Logic of Quantification and Substitution / Yde Venema
Series Title: Studies in logic, language, and information.
Responsibility: edited by László Csirmaz, Dov M. Gabbay, and Maarten de Rijke.
More information:

Abstract:

"Logic Colloquium '92, the European Summer Meeting of the Association for Symbolic Logic, was held in Veszprém, Hungary, in August 1992. Two of the main themes of the event were algebraic logic, and axiomatisability and decidability of logical systems. The present volume contains a selection of papers that grew out of invited and contributed talks on these themes. Most of the papers have a strong interdisciplinary flavour as they investigate logical properties of formal systems by studying algebraic properties of corresponding classes of algebras, or vice versa. The remaining papers focus on connected areas from model theory and the combination of logics. This is a useful and timely volume on algebraic logic and related areas, with contributions by leading people in the field"--Publisher description.

Reviews

Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.