Stock image for illustration purposes only - book cover, edition or condition may vary.
Sheaves, Games, and Model Completions
Ghilardi, Silvio; Zawadowski, M. (Uniwersytet Warszawski, Poland)
€ 118.83
FREE Delivery in Ireland
Description for Sheaves, Games, and Model Completions
Paperback. Series: Trends in Logic. Num Pages: 245 pages, biography. BIC Classification: HPL; PBC; PBF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 364.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer Netherlands
Number of pages
245
Condition
New
Series
Trends in Logic
Number of Pages
245
Place of Publication
Dordrecht, Netherlands
ISBN
9789048160365
SKU
V9789048160365
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Sheaves, Games, and Model Completions