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)
€ 123.80
FREE Delivery in Ireland
Description for Sheaves, Games and Model Completions
Hardback. Investigates propositional intuitionistic and modal logics from a different point of view. This book deals with the structure of the category of finitely presented Heyting and modal algebras, relating it both with proof theoretic and model theoretic facts. It is aimed at professional logicians. Series: Trends in Logic. Num Pages: 245 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 543.
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
Hardback
Publication date
2002
Publisher
Kluwer Academic Publishers United States
Number of pages
245
Condition
New
Series
Trends in Logic
Number of Pages
245
Place of Publication
New York, NY, United States
ISBN
9781402006609
SKU
V9781402006609
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Sheaves, Games and Model Completions