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

211 26 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

104 50 10MB 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

98 43 4MB Read more

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

339 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

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,037 277 33MB Read more

Spatial Econometrics: Methods and Models [Softcover reprint of hardcover 1st ed. 1988] 9048183111, 9789048183111

This book is a very useful and significant contribution to the spatial analysis literature ... I for one will be using i

393 16 23MB Read more

Stability Theory of Dynamical Systems [Softcover reprint of the original 1st ed. 2002] 3540427481, 9783540427483

Reprint of classic reference work. Over 400 books have been published in the series Classics in Mathematics, many remain

399 7 64KB Read more

Etymological Dictionary of Succulent Plant Names [Softcover reprint of hardcover 1st ed. 2004] 9783642055973, 3642055974

Names are important elements to handle the diversity of items in daily life - persons, objects, animals, plants, etc. Wi

112 20 7MB Read more