Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic, 14) [Softcover reprint of hardcover 1st ed. 2002] 9048160367, 9789048160365

This book is an example of fruitful interaction between (non-classical) propo sitionallogics and (classical) model theo

274 30 2MB

English Pages 254 Year 2010

Table of contents :
Title
Copyright
Dedication
Contents
1. Introduction
1 Motivating example
2 An overview of the book
3 How to read the book
4 Historical remarks
2. Preliminary notions
1 Basic algebraic structures
2 Model theoretic background
3 Subobjects and regular subobjects
4 Finitely presented algebras
5 Principal congruences
6 The amalgamation property
7 Exercises
3. Model completions
1 r-Heyting categories
2 Model completions and fp algebras
3 Exercises
4. Heyting algebras
1 Basic definitions
2 Finitely presented Heyting algebras
3 Duality for Heyting algebras
4 A combinatorial result
5 Properties of M_H and Ψ_H
6 Second order extensions of IpC
7 Quantifier-elimination
8 M_H is not exact
9 Some applications
10 Projective Heyting algebras
11 Exercises
5. Duality for modal algebras
1 Frames, evaluations and games
2 The category of finite S-frames
3 The category M_S
4 Finitely presented S-algebras
5 Duality
6 Regularity of monomorphisms
7 Combinatorial Conditions
8 Exercises
6. Model completions in modal logic
1 Negative results
2 Diagonalizable algebras
3 Varieties of interior algebras
4 Exercises
7. Algebraically closed models
1 FLEA's
2 Grothendieck Topologies on algebras
3 Sh(T^f, J^f) as a classifying topos
4 Models in Set
5 The case of Heyting algebras
6 Existentially closed algebras
7 Exercises
8. Open problems
9. Appendix
1 Glossary of basic categorical notions
2 Internal algebras in categories
3 Grothendieck topologies
4 Sheaves
5 Associated sheaf functor
6 Properties of Grothendieck toposes
7 Classifying toposes
References
Glossary of notation
Subject index

Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic, 14) [Softcover reprint of hardcover 1st ed. 2002]
9048160367, 9789048160365

Author / Uploaded
Silvio Ghilardi
M. Zawadowski

0 0 0
Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up

Recommend Papers

Metamathematics of Fuzzy Logic (Trends in Logic, 4) [Softcover reprint of the original 1st ed. 1998] 1402003706, 9781402003707

This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued l

106 50 10MB Read more

Computational Statistical Physics: From Billiards to Monte Carlo [Softcover reprint of hardcover 1st ed. 2002] 3642075711, 9783642075711

In recent years statistical physics has made significant progress as a result of advances in numerical techniques. While

119 112 Read more

Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry (Trends in Logic Book 49) [1st ed. 2017] 9783319708218, 9783319708201, 331970821X

100 43 4MB Read more

Metainferential Logics (Trends in Logic, 61) 3031443802, 9783031443800

This book is the first to present a comprehensive investigation of the technical features of the metainferential logics

110 14 Read more

Lymphoma (Methods in Molecular Medicine) [Softcover reprint of hardcover 1st ed. 2005] 1617373958, 9781617373954

340 95 2MB Read more

Nonholonomic Manipulators (Springer Tracts in Advanced Robotics) [Softcover reprint of hardcover 1st ed. 2004] 3642060471, 9783642060472

This focused monograph builds upon an increasing interest in nonholonomic mechanical systems in robotics and control eng

365 111 3MB Read more

The Propositional Logic of Boethius

122 46 438KB Read more

Introduction to logic : propositional logic [2. ed.] 9780134861678, 0134861671

Revised edition of: Propositional logic. 1974.

535 36 23MB Read more

Soccer Robotics (Springer Tracts in Advanced Robotics) [Softcover reprint of hardcover 1st ed. 2004] 3642060064, 9783642060069

This monograph is a comprehensive introduction to the field of soccer robotics. Soccer robotics has become an important

422 29 4MB Read more

Introduction to logic : propositional logic [3. ed.] 9780131649972, 0131649973

"This clearly written introduction to the fundamental branch of symbolic logic treats the symbolization of English

2,038 277 33MB Read more