CURRENTLY SOLD OUT

Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics by Silvio Ghilardi, M. Zawadowski (Hardcover, 2002)

This text investigates propositional intuistionistic and modal logics from an alternative point of view. It mainly deals with the structure of the category of finitely presented Heyting and modal algebras, dealing both with proof theoretic and model theoretic facts: existence of model completions; amalgamability; Beth definability; interpretability of second order quantifiers and uniform interpolation; definability of dual connectives like difference; and projectivity are among the numerous topics which are covered. Dualities and sheaf representations are the main techniques in the book, together with Ehrenfeucht-Fraisse games and bounded bisimulations. The categorical instruments employed are rich, but a specific extended appendix explains to the reader all concepts used in the text, starting from the very basic definitions to what is needed from topos theory.

Author
Silvio Ghilardi, M. Zawadowski
Publication Name
Sheaves, Games, and Model Completions: a Categorical Approach to Nonclassical Propositional Logics
Format
Hardcover
Language
English
Subject
Computer Science, Mathematics
Publication Year
2002
Type
Textbook
Number of Pages
245 Pages

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University