Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic)

0 avg rating
( 0 ratings by Goodreads )
 
9781402006609: Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic)
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Silvio Ghilardi, M. Zawadowski
Published by Springer (2002)
ISBN 10: 1402006608 ISBN 13: 9781402006609
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2002. Hardcover. Condition: New. 2002. Seller Inventory # DADAX1402006608

More information about this seller | Contact this seller

Buy New
US$ 99.71
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

2.

Silvio Ghilardi; M. Zawadowski
Published by Springer (2002)
ISBN 10: 1402006608 ISBN 13: 9781402006609
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2002. Condition: New. book. Seller Inventory # M1402006608

More information about this seller | Contact this seller

Buy New
US$ 130.77
Convert currency

Add to Basket

Shipping: US$ 3.27
Within U.S.A.
Destination, rates & speeds

3.

SILVIO GHILARDI
Published by Springer (2002)
ISBN 10: 1402006608 ISBN 13: 9781402006609
New Hardcover Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2002. Hardback. Condition: NEW. 9781402006609 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0288192

More information about this seller | Contact this seller

Buy New
US$ 163.76
Convert currency

Add to Basket

Shipping: US$ 10.49
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

Silvio Ghilardi, M. Zawadowski
Published by Springer-Verlag New York Inc., United States (2002)
ISBN 10: 1402006608 ISBN 13: 9781402006609
New Hardcover Quantity Available: 10
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc., United States, 2002. Hardback. Condition: New. 2002 ed.. Language: English. Brand new Book. 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. Seller Inventory # APC9781402006609

More information about this seller | Contact this seller

Buy New
US$ 179.99
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

5.

Silvio Ghilardi, M. Zawadowski
Published by Springer-Verlag New York Inc., United States (2002)
ISBN 10: 1402006608 ISBN 13: 9781402006609
New Hardcover Quantity Available: 10
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc., United States, 2002. Hardback. Condition: New. 2002 ed.. Language: English. Brand new Book. 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. Seller Inventory # APC9781402006609

More information about this seller | Contact this seller

Buy New
US$ 185.34
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

6.

Ghilardi, Silvio
Published by Springer (2016)
ISBN 10: 1402006608 ISBN 13: 9781402006609
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9781402006609_lsuk

More information about this seller | Contact this seller

Buy New
US$ 189.79
Convert currency

Add to Basket

Shipping: US$ 5.09
From United Kingdom to U.S.A.
Destination, rates & speeds

7.

Silvio Ghilardi
Published by Kluwer Academic Publishers (2002)
ISBN 10: 1402006608 ISBN 13: 9781402006609
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Kluwer Academic Publishers, 2002. HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9781402006609

More information about this seller | Contact this seller

Buy New
US$ 194.13
Convert currency

Add to Basket

Shipping: US$ 11.83
From United Kingdom to U.S.A.
Destination, rates & speeds

8.

Silvio Ghilardi
Published by Springer (2002)
ISBN 10: 1402006608 ISBN 13: 9781402006609
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer, 2002. HRD. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9781402006609

More information about this seller | Contact this seller

Buy New
US$ 203.11
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

9.

Ghilardi, Silvio; Zawadowski, M.
Published by Springer
ISBN 10: 1402006608 ISBN 13: 9781402006609
New Hardcover Quantity Available: > 20
Seller:
Russell Books
(Victoria, BC, Canada)
Rating
[?]

Book Description Springer. Hardcover. Condition: New. 1402006608 Special order direct from the distributor. Seller Inventory # ING9781402006609

More information about this seller | Contact this seller

Buy New
US$ 215.99
Convert currency

Add to Basket

Shipping: US$ 7.00
From Canada to U.S.A.
Destination, rates & speeds

10.

S. Ghilardi/ M. Zawadowski
Published by Kluwer Academic Pub (2002)
ISBN 10: 1402006608 ISBN 13: 9781402006609
New Hardcover Quantity Available: 1
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Kluwer Academic Pub, 2002. Hardcover. Condition: Brand New. 1st edition. 243 pages. 9.25x6.25x0.75 inches. In Stock. Seller Inventory # __1402006608

More information about this seller | Contact this seller

Buy New
US$ 294.81
Convert currency

Add to Basket

Shipping: US$ 9.86
From United Kingdom to U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book