Logic Colloquium '92

著者

• Logic Colloquium
• Csirmaz, László
• Gabbay, Dov M.
• Rijke, Maarten de
• Association for Symbolic Logic

書誌事項

Logic Colloquium '92

edited by László Csirmaz, Dov M. Gabbay, and Maarten de Rijke

（Studies in logic, language and information）

CSLI Publications, c1995

• : cloth
• : paper

注記

Held Aug. 9-15, 1992, Veszprém, Hungary; sponsored by the Association for Symbolic Logic

Includes bibliographical references and indexes

内容説明・目次

内容説明

Logic Colloquium '92, the European Summer Meeting of the Association for Symbolic Logic, was held in Veszprem, 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.

目次

• Series Foreword
• Contributors
• Preface
• Part I. General Algebraic Logic Including Algebraic Model Theory: 1. An overview Hajnal Andreka, Istvan Nemeti, Ildiko Sain and Agnes Kurucz
• 2. Sahlqvist formulas are not so elementary even S4 Alexander Chagrov and Michael Zakharyaschev
• 3. Fibred semantics and the weaving of logics
• Part II. 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
• Indexes.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA27419034
• ISBN:
  • 1881526976
  • 1881526984
• LCCN: 95024484
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Stanford, Calif.
• ページ数/冊数: xiii, 319 p.
• 大きさ: 24 cm
• 分類:
  • LCC : BC135
  • DC20 : 511.3
• 件名:
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• 親書誌ID:
  • BA27233750