Nederlands
Nederland
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
FILTER
- 0 resultaten
laagste prijs: 150,49 €, hoogste prijs: 175,26 €, gemiddelde prijs: 161,08 €
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.
Sheaves, Games, and Model Completions als Buch von Silvio Ghilardi, M. Zawadowski - Silvio Ghilardi, M. Zawadowski
uitverkocht boek
(*)
Silvio Ghilardi, M. Zawadowski:
Sheaves, Games, and Model Completions als Buch von Silvio Ghilardi, M. Zawadowski - gebonden uitgave, pocketboek

2002, ISBN: 9789048160365

ID: 693876065

Sheaves, Games, and Model Completions:A Categorical Approach to Nonclassical Propositional Logics Trends in Logic. Softcover reprint of hardcover 1st ed. 2002. Silvio Ghilardi, M. Zawadowski Sheaves, Games, and Model Completions:A Categorical Approach to Nonclassical Propositional Logics Trends in Logic. Softcover reprint of hardcover 1st ed. 2002. Silvio Ghilardi, M. Zawadowski Bücher > Wissenschaft > Philosophie, Springer Netherlands

Nieuw boek Hugendubel.de
No. 13445369. Verzendingskosten:Zzgl. Versandkosten. (EUR 7.50)
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Sheaves, Games, and Model Completions als Buch von Silvio Ghilardi, M. Zawadowski - Springer Netherlands
uitverkocht boek
(*)
Springer Netherlands:
Sheaves, Games, and Model Completions als Buch von Silvio Ghilardi, M. Zawadowski - nieuw boek

2002, ISBN: 9789048160365

ID: 818371094

Sheaves, Games, and Model Completions ab 150.49 EURO A Categorical Approach to Nonclassical Propositional Logics Trends in Logic. Softcover reprint of hardcover 1st ed. 2002. Sheaves, Games, and Model Completions ab 150.49 EURO A Categorical Approach to Nonclassical Propositional Logics Trends in Logic. Softcover reprint of hardcover 1st ed. 2002. Bücher > Wissenschaft > Philosophie

Nieuw boek eBook.de
No. 13445369. Verzendingskosten:Zzgl. Versandkosten., 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

2010, ISBN: 9048160367

ID: 18735117724

[EAN: 9789048160365], Neubuch, [PU: Springer], 9789048160365 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher

Nieuw boek Abebooks.de
Herb Tandree Philosophy Books, Stroud, GLOS, United Kingdom [17426] [Rating: 4 (von 5)]
NEW BOOK. Verzendingskosten: EUR 8.98
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 13.04.2018 06:28:22
ISBN/EAN: 9789048160365

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


< naar Archief...
Verwante boeken