Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
2002
|
| Schriftenreihe: | Trends in Logic, Studia Logica Library
14 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | This book is an example of fruitful interaction between (non-classical) propositional logics and (classical) model theory which was made possible due to categorical logic. Its main aim consists in investigating the existence of modelcompletions for equational theories arising from propositional logics (such as the theory of Heyting algebras and various kinds of theories related to propositional 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 algebras, 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 categorical 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 |
| Beschreibung: | 1 Online-Ressource (IX, 245 p) |
| ISBN: | 9789401599368 9789048160365 |
| ISSN: | 1572-6126 |
| DOI: | 10.1007/978-94-015-9936-8 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042424176 | ||
| 003 | DE-604 | ||
| 005 | 20180205 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s2002 |||| o||u| ||||||eng d | ||
| 020 | |a 9789401599368 |c Online |9 978-94-015-9936-8 | ||
| 020 | |a 9789048160365 |c Print |9 978-90-481-6036-5 | ||
| 024 | 7 | |a 10.1007/978-94-015-9936-8 |2 doi | |
| 035 | |a (OCoLC)864055297 | ||
| 035 | |a (DE-599)BVBBV042424176 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 160 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Ghilardi, Silvio |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Sheaves, Games, and Model Completions |b A Categorial Approach to Nonclassical Propositional Logics |c by Silvio Ghilardi, Marek Zawadowski |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 2002 | |
| 300 | |a 1 Online-Ressource (IX, 245 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Trends in Logic, Studia Logica Library |v 14 |x 1572-6126 | |
| 500 | |a This book is an example of fruitful interaction between (non-classical) propositional logics and (classical) model theory which was made possible due to categorical logic. Its main aim consists in investigating the existence of modelcompletions for equational theories arising from propositional logics (such as the theory of Heyting algebras and various kinds of theories related to propositional 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 algebras, 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 categorical 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 | ||
| 650 | 4 | |a Philosophy (General) | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Algebra | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Philosophy | |
| 650 | 4 | |a Category Theory, Homological Algebra | |
| 650 | 4 | |a Order, Lattices, Ordered Algebraic Structures | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Philosophie | |
| 700 | 1 | |a Zawadowski, Marek |e Sonstige |4 oth | |
| 830 | 0 | |a Trends in Logic, Studia Logica Library |v 14 |w (DE-604)BV011512969 |9 14 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-015-9936-8 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027859593 | ||
Datensatz im Suchindex
| _version_ | 1804153100809797632 |
|---|---|
| any_adam_object | |
| author | Ghilardi, Silvio |
| author_facet | Ghilardi, Silvio |
| author_role | aut |
| author_sort | Ghilardi, Silvio |
| author_variant | s g sg |
| building | Verbundindex |
| bvnumber | BV042424176 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)864055297 (DE-599)BVBBV042424176 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Mathematik Philosophie |
| doi_str_mv | 10.1007/978-94-015-9936-8 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03483nmm a2200529zcb4500</leader><controlfield tag="001">BV042424176</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180205 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s2002 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401599368</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-015-9936-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789048160365</subfield><subfield code="c">Print</subfield><subfield code="9">978-90-481-6036-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-015-9936-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864055297</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042424176</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ghilardi, Silvio</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Sheaves, Games, and Model Completions</subfield><subfield code="b">A Categorial Approach to Nonclassical Propositional Logics</subfield><subfield code="c">by Silvio Ghilardi, Marek Zawadowski</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 245 p)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Trends in Logic, Studia Logica Library</subfield><subfield code="v">14</subfield><subfield code="x">1572-6126</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">This book is an example of fruitful interaction between (non-classical) propositional logics and (classical) model theory which was made possible due to categorical logic. Its main aim consists in investigating the existence of modelcompletions for equational theories arising from propositional logics (such as the theory of Heyting algebras and various kinds of theories related to propositional 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 algebras, 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 categorical 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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Category Theory, Homological Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Order, Lattices, Ordered Algebraic Structures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zawadowski, Marek</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Trends in Logic, Studia Logica Library</subfield><subfield code="v">14</subfield><subfield code="w">(DE-604)BV011512969</subfield><subfield code="9">14</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-015-9936-8</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027859593</subfield></datafield></record></collection> |
| id | DE-604.BV042424176 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:15Z |
| institution | BVB |
| isbn | 9789401599368 9789048160365 |
| issn | 1572-6126 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027859593 |
| oclc_num | 864055297 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (IX, 245 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Springer Netherlands |
| record_format | marc |
| series | Trends in Logic, Studia Logica Library |
| series2 | Trends in Logic, Studia Logica Library |
| spelling | Ghilardi, Silvio Verfasser aut Sheaves, Games, and Model Completions A Categorial Approach to Nonclassical Propositional Logics by Silvio Ghilardi, Marek Zawadowski Dordrecht Springer Netherlands 2002 1 Online-Ressource (IX, 245 p) txt rdacontent c rdamedia cr rdacarrier Trends in Logic, Studia Logica Library 14 1572-6126 This book is an example of fruitful interaction between (non-classical) propositional logics and (classical) model theory which was made possible due to categorical logic. Its main aim consists in investigating the existence of modelcompletions for equational theories arising from propositional logics (such as the theory of Heyting algebras and various kinds of theories related to propositional 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 algebras, 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 categorical 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 Philosophy (General) Logic Artificial intelligence Algebra Logic, Symbolic and mathematical Philosophy Category Theory, Homological Algebra Order, Lattices, Ordered Algebraic Structures Mathematical Logic and Foundations Artificial Intelligence (incl. Robotics) Künstliche Intelligenz Philosophie Zawadowski, Marek Sonstige oth Trends in Logic, Studia Logica Library 14 (DE-604)BV011512969 14 https://doi.org/10.1007/978-94-015-9936-8 Verlag Volltext |
| spellingShingle | Ghilardi, Silvio Sheaves, Games, and Model Completions A Categorial Approach to Nonclassical Propositional Logics Trends in Logic, Studia Logica Library Philosophy (General) Logic Artificial intelligence Algebra Logic, Symbolic and mathematical Philosophy Category Theory, Homological Algebra Order, Lattices, Ordered Algebraic Structures Mathematical Logic and Foundations Artificial Intelligence (incl. Robotics) Künstliche Intelligenz Philosophie |
| title | Sheaves, Games, and Model Completions A Categorial Approach to Nonclassical Propositional Logics |
| title_auth | Sheaves, Games, and Model Completions A Categorial Approach to Nonclassical Propositional Logics |
| title_exact_search | Sheaves, Games, and Model Completions A Categorial Approach to Nonclassical Propositional Logics |
| title_full | Sheaves, Games, and Model Completions A Categorial Approach to Nonclassical Propositional Logics by Silvio Ghilardi, Marek Zawadowski |
| title_fullStr | Sheaves, Games, and Model Completions A Categorial Approach to Nonclassical Propositional Logics by Silvio Ghilardi, Marek Zawadowski |
| title_full_unstemmed | Sheaves, Games, and Model Completions A Categorial Approach to Nonclassical Propositional Logics by Silvio Ghilardi, Marek Zawadowski |
| title_short | Sheaves, Games, and Model Completions |
| title_sort | sheaves games and model completions a categorial approach to nonclassical propositional logics |
| title_sub | A Categorial Approach to Nonclassical Propositional Logics |
| topic | Philosophy (General) Logic Artificial intelligence Algebra Logic, Symbolic and mathematical Philosophy Category Theory, Homological Algebra Order, Lattices, Ordered Algebraic Structures Mathematical Logic and Foundations Artificial Intelligence (incl. Robotics) Künstliche Intelligenz Philosophie |
| topic_facet | Philosophy (General) Logic Artificial intelligence Algebra Logic, Symbolic and mathematical Philosophy Category Theory, Homological Algebra Order, Lattices, Ordered Algebraic Structures Mathematical Logic and Foundations Artificial Intelligence (incl. Robotics) Künstliche Intelligenz Philosophie |
| url | https://doi.org/10.1007/978-94-015-9936-8 |
| volume_link | (DE-604)BV011512969 |
| work_keys_str_mv | AT ghilardisilvio sheavesgamesandmodelcompletionsacategorialapproachtononclassicalpropositionallogics AT zawadowskimarek sheavesgamesandmodelcompletionsacategorialapproachtononclassicalpropositionallogics |