Aanmelden
De tip van euro-boek.nl
Soortgelijke boeken
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Zoekfuncties
boekentips
actueel
Advertentie
Betaalde advertentie
- 0 resultaten
laagste prijs: € 149,55, hoogste prijs: € 277,21, gemiddelde prijs: € 190,15
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic) - Silvio Ghilardi, M. Zawadowski
uitverkocht boek
(*)
Silvio Ghilardi, M. Zawadowski:
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic) - pocketboek

ISBN: 9048160367

Paperback, [EAN: 9789048160365], Springer, Springer, Book, [PU: Springer], Springer, 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., 280291, Intelligence & Semantics, 3887, AI & Machine Learning, 3508, Computer Science, 5, Computers & Technology, 1000, Subjects, 283155, Books, 13928, Algebraic Geometry, 226700, Geometry & Topology, 13884, Mathematics, 75, Science & Math, 1000, Subjects, 283155, Books, 13889, Abstract, 13887, Algebra, 226698, Pure Mathematics, 13884, Mathematics, 75, Science & Math, 1000, Subjects, 283155, Books, 13920, Functional Analysis, 226698, Pure Mathematics, 13884, Mathematics, 75, Science & Math, 1000, Subjects, 283155, Books, 13950, Logic, 226698, Pure Mathematics, 13884, Mathematics, 75, Science & Math, 1000, Subjects, 283155, Books, 11053, Logic & Language, 11019, Philosophy, 3377866011, Politics & Social Sciences, 1000, Subjects, 283155, Books, 491300, Artificial Intelligence, 468204, Computer Science, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 684280011, Logic, 468232, Philosophy, 468206, Humanities, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 491542, Algebra & Trigonometry, 468218, Mathematics, 468216, Science & Mathematics, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 491546, Geometry, 468218, Mathematics, 468216, Science & Mathematics, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books

gebruikt boek Amazon.com
super_star_seller
Gebraucht. Verzendingskosten:Usually ships in 4-5 business days., exclusief verzendingskosten
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic) - Silvio Ghilardi, M. Zawadowski
uitverkocht boek
(*)
Silvio Ghilardi, M. Zawadowski:
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic) - pocketboek

ISBN: 9048160367

Paperback, [EAN: 9789048160365], Springer, Springer, Book, [PU: Springer], Springer, 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., 280291, Intelligence & Semantics, 3887, AI & Machine Learning, 3508, Computer Science, 5, Computers & Technology, 1000, Subjects, 283155, Books, 13928, Algebraic Geometry, 226700, Geometry & Topology, 13884, Mathematics, 75, Science & Math, 1000, Subjects, 283155, Books, 13889, Abstract, 13887, Algebra, 226698, Pure Mathematics, 13884, Mathematics, 75, Science & Math, 1000, Subjects, 283155, Books, 13920, Functional Analysis, 226698, Pure Mathematics, 13884, Mathematics, 75, Science & Math, 1000, Subjects, 283155, Books, 13950, Logic, 226698, Pure Mathematics, 13884, Mathematics, 75, Science & Math, 1000, Subjects, 283155, Books, 11053, Logic & Language, 11019, Philosophy, 3377866011, Politics & Social Sciences, 1000, Subjects, 283155, Books, 491300, Artificial Intelligence, 468204, Computer Science, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 684280011, Logic, 468232, Philosophy, 468206, Humanities, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 491542, Algebra & Trigonometry, 468218, Mathematics, 468216, Science & Mathematics, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 491546, Geometry, 468218, Mathematics, 468216, Science & Mathematics, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books

Nieuw boek Amazon.com
Herb Tandree Philosophy Bks
Neuware. Verzendingskosten:Usually ships in 1-2 business days., exclusief verzendingskosten
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics - Silvio Ghilardi
uitverkocht boek
(*)
Silvio Ghilardi:
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics - pocketboek

ISBN: 9048160367

ID: 10798616014

[EAN: 9789048160365], Neubuch, [PU: Springer], SILVIO GHILARDI,M. ZAWADOWSKI,ARTIFICIAL INTELLIGENCE,LOGIC,ALGEBRA AND TRIGONOMETRY,GEOMETRY, 245 pages. Dimensions: 9.4in. x 6.2in. x 0.6in.This book investigates propositional intuitionistic and modal logics from an entirely new point of view, covering quite recent and sometimes yet unpublished results. It mainly deals with the structure of the category of finitely presented Heyting and modal algebras, relating it both with proof theoretic and model theoretic facts: existence of model completions, amalgamability, Beth definability, interpretability of second order quantifiers and uniform interpolation, definability of dual connectives like difference, projectivity, etc. are among the numerous topics which are covered. Dualities and sheaf representations are the main techniques in the book, together with Ehrenfeucht-Fraiss games and bounded bisimulations. The categorical instruments employed are rich, but a specific extended Appendix explains to the reader all concepts used in the text, starting from the very basic definitions to what is needed from topos theory. Audience: The book is addressed to a large spectrum of professional logicians, from such different areas as modal logics, categorical and algebraic logic, model theory and universal algebra. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.

Nieuw boek Abebooks.de
BuySomeBooks, Las Vegas, NV, U.S.A. [52360437] [Rating: 5 (von 5)]
NEW BOOK. Verzendingskosten: EUR 8.52
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics - Silvio Ghilardi
uitverkocht boek
(*)
Silvio Ghilardi:
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics - nieuw boek

ISBN: 9789048160365

ID: 978904816036

This book investigates propositional intuitionistic and modal logics from an entirely new point of view, covering quite recent and sometimes yet unpublished results. It mainly deals with the structure of the category of finitely presented Heyting and modal algebras, relating it both with proof theoretic and model theoretic facts: existence of model completions, amalgamability, Beth definability, interpretability of second order quantifiers and uniform interpolation, definability of dual connectives like difference, projectivity, etc. are among the numerous topics which are covered. Dualities and sheaf representations are the main techniques in the book, together with Ehrenfeucht-Fraissé games and bounded bisimulations. The categorical instruments employed are rich, but a specific extended Appendix explains to the reader all concepts used in the text, starting from the very basic definitions to what is needed from topos theory. Audience: The book is addressed to a large spectrum of professional logicians, from such different areas as modal logics, categorical and algebraic logic, model theory and universal algebra. Silvio Ghilardi, Books, Religion and Spirituality, Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics Books>Religion and Spirituality, Springer Netherlands

Nieuw boek Indigo.ca
new Free shipping on orders above $25. Verzendingskosten:spese di spedizione aggiuntive., exclusief verzendingskosten
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics - Ghilardi, Silvio / Zawadowski, M.
uitverkocht boek
(*)
Ghilardi, Silvio / Zawadowski, M.:
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics - gebruikt boek

ISBN: 9789048160365

ID: 10987750

This book investigates propositional intuitionistic and modal logics from an entirely new point of view, covering quite recent and sometimes yet unpublished results. It mainly deals with the structure of the category of finitely presented Heyting and modal algebras, relating it both with proof theoretic and model theoretic facts: existence of model completions, amalgamability, Beth definability, interpretability of second order quantifiers and uniform interpolation, definability of dual connectives like difference, projectivity, etc. are among the numerous topics which are covered. Dualities and sheaf representations are the main techniques in the book, together with Ehrenfeucht-Fraisse games and bounded bisimulations. The categorical instruments employed are rich, but a specific extended Appendix explains to the reader all concepts used in the text, starting from the very basic definitions to what is needed from topos theory. Audience: The book is addressed to a large spectrum of professional logicians, from such different areas as modal logics, categorical and algebraic logic, model theory and universal algebra. Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics Ghilardi, Silvio / Zawadowski, M., Springer

gebruikt boek Betterworldbooks.com
Verzendingskosten:spese di spedizione aggiuntive., exclusief verzendingskosten
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.

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

This book investigates propositional intuitionistic and modal logics from an entirely new point of view, covering quite recent and sometimes yet unpublished results. It mainly deals with the structure of the category of finitely presented Heyting and modal algebras, relating it both with proof theoretic and model theoretic facts: existence of model completions, amalgamability, Beth definability, interpretability of second order quantifiers and uniform interpolation, definability of dual connectives like difference, projectivity, etc. are among the numerous topics which are covered. Dualities and sheaf representations are the main techniques in the book, together with Ehrenfeucht-Fraissé games and bounded bisimulations. The categorical instruments employed are rich, but a specific extended Appendix explains to the reader all concepts used in the text, starting from the very basic definitions to what is needed from topos theory. Audience: The book is addressed to a large spectrum of professional logicians, from such different areas as modal logics, categorical and algebraic logic, model theory and universal algebra.

Gedetalleerde informatie over het boek. - Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic)


EAN (ISBN-13): 9789048160365
ISBN (ISBN-10): 9048160367
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer-Verlag GmbH
256 Bladzijden
Gewicht: 0,413 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 27.01.2011 05:54:45
Boek voor het laatst gevonden op 12.07.2018 18:12:32
ISBN/EAN: 9789048160365

ISBN - alternatieve schrijfwijzen:
90-481-6036-7, 978-90-481-6036-5


< naar Archief...
Verwante boeken