Sheaves, Games, and Model Completions A Categorical Approach to Nonclassical Propositional Logics
This book is an example of fruitful interaction between (non-classical) propo sitionallogics and (classical) model theory which was made possible due to categorical logic. Its main aim consists in investigating the existence of model completions for equational theories arising from propositional l...
| Main Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
2002, 2002
|
| Edition: | 1st ed. 2002 |
| Series: | Trends in Logic, Studia Logica Library
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 1. Introduction
- 2. Preliminary Notions
- 3. Model Completions
- 4. Heyting Algebras
- 5. Duality for Modal Algebras
- 6. Model Completions in Modal Logic
- 7. Algebraically Closed Models
- 8. Open Problems
- 9. Appendix
- References
- Glossary of Notation