Logic Colloquium '92 Studies in Logic, Language, and Information

Gabbay, Dov M., Maarten De Rijke and Laszlo Csirmaz:

ISBN 10: 1881526976 / ISBN 13: 9781881526971

Verlag: Center for the Study of Language and Information Publica Tion, 1995

Beschreibung

319 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 635.

Bestandsnummer des Verkäufers 2151908

Bibliografische Details

• Titel: Logic Colloquium '92 Studies in Logic, Language, and Information
• Verlag: Center for the Study of Language and Information Publica Tion
• Erscheinungsjahr: 1995
• Sprache: Englisch
• ISBN-10: 1881526976
• ISBN-13: 9781881526971
• Einband: gebundene Ausgabe
• Zustand: Gut
• Verkäuferkataloge:
  • 506 Sprachwissenschaft

Über diesen Titel

Inhaltsangabe

Two of the main themes of the Logic Colloquium '92 were algebraic logic, and axiomatisability and decidability of logical systems. This is a useful and timely volume on algebraic logic and related areas, with contributions by leading people in the field.

Reseña del editor

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.