Onze Vivlio e-readers ondervinden momenteel synchronisatieproblemen. We doen er alles aan om dit zo snel mogelijk op te lossen. Onze excuses voor het ongemak!
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Onze Vivlio e-readers ondervinden momenteel synchronisatieproblemen. We doen er alles aan om dit zo snel mogelijk op te lossen. Onze excuses voor het ongemak!
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Sheaves, Games, and Model Completions
A Categorical Approach to Nonclassical Propositional Logics
Silvio Ghilardi, M Zawadowski
€ 153,95
+ 307 punten
Omschrijving
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 logics (such as the theory of Heyting algebras and various kinds of theories related to proposi- tional modal logic ). The existence of model-completions turns out to be related to proof-theoretic facts concerning interpretability of second order propositional logic into ordinary propositional logic through the so-called 'Pitts' quantifiers' or 'bisimulation quantifiers'. On the other hand, the book develops a large number of topics concerning the categorical structure of finitely presented al- gebras, with related applications to propositional logics, both standard (like Beth's theorems) and new (like effectiveness of internal equivalence relations, projectivity and definability of dual connectives such as difference). A special emphasis is put on sheaf representation, showing that much of the nice categor- ical structure of finitely presented algebras is in fact only a restriction of natural structure in sheaves. Applications to the theory of classifying toposes are also covered, yielding new examples. The book has to be considered mainly as a research book, reporting recent and often completely new results in the field; we believe it can also be fruitfully used as a complementary book for graduate courses in categorical and algebraic logic, universal algebra, model theory, and non-classical logics. 1.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 245
- Taal:
- Engels
- Reeks:
- Reeksnummer:
- nr. 14
Eigenschappen
- Productcode (EAN):
- 9781402006609
- Verschijningsdatum:
- 31/07/2002
- Uitvoering:
- Hardcover
- Formaat:
- Genaaid
- Afmetingen:
- 156 mm x 234 mm
- Gewicht:
- 539 g
Alleen bij Standaard Boekhandel
+ 307 punten op je klantenkaart van Standaard Boekhandel
E-BOOK ACTIE
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.