- 5 Ergebnisse
Kleinster Preis: € 38,28, größter Preis: € 197,42, Mittelwert: € 89,72
1
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Proposition: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic, 14, Band 14) - Ghilardi, Silvio
Bestellen
bei Amazon.de (Intern. Bücher)
€ 38,28
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Ghilardi, Silvio:

Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Proposition: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic, 14, Band 14) - Taschenbuch

2010, ISBN: 9789048160365

Mitwirkende: Zawadowski, Marek, Springer Netherlands, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2002, 256 Seiten, Publiziert: 2010-08-03T00:00:01Z, Produktgruppe: Buch,… Mehr…

Versandkosten:Gewöhnlich versandfertig in 3 bis 4 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) London Lane Company
zuklappen (X)
2
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14) - Ghilardi, Silvio, Zawadowski, M.
Bestellen
bei amazon.co.uk
£ 69,85
(ca. € 80,79)
Versand: € 5,551
Bestellen
Details beim Anbieter
gesponserter Link

Ghilardi, Silvio, Zawadowski, M.:

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

2010, ISBN: 9789048160365

Springer, Paperback, Auflage: Softcover reprint of hardcover 1st ed. 2002, 254 Seiten, Publiziert: 2010-10-28T00:00:01Z, Produktgruppe: Book, 0.36 kg, Verkaufsrang: 1290128, AI & Machine … Mehr…

Gut Versandkosten:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.55) Fast Cat Books
zuklappen (X)
3
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14) - Ghilardi, Silvio, Zawadowski, M.
Bestellen
bei amazon.co.uk
£ 34,73
(ca. € 40,17)
Versand: € 5,551
Bestellen
Details beim Anbieter
gesponserter Link
Ghilardi, Silvio, Zawadowski, M.:
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14) - Taschenbuch

2010

ISBN: 9789048160365

Springer, Paperback, Auflage: Softcover reprint of hardcover 1st ed. 2002, 254 Seiten, Publiziert: 2010-10-28T00:00:01Z, Produktgruppe: Book, 0.36 kg, Verkaufsrang: 1290128, AI & Machine … Mehr…

Versandkosten:Usually dispatched within 5 to 6 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.55) ~~V KING~~
zuklappen (X)
4
Sheaves, Games, and Model Completions - Silvio Ghilardi M. Zawadowski
Bestellen
bei booklooker.de
€ 91,95
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Silvio Ghilardi M. Zawadowski:
Sheaves, Games, and Model Completions - Erstausgabe

2010, ISBN: 9789048160365

Taschenbuch

[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book is an example of frui… Mehr…

Versandkosten:Versandkostenfrei. (EUR 0.00) Moluna GmbH
zuklappen (X)
5
Bestellen
bei Biblio.co.uk
$ 209,15
(ca. € 197,42)
Versand: € 19,821
Bestellen
Details beim Anbieter
gesponserter Link
Silvio Ghilardi, M. Zawadowski:
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic) - Taschenbuch

2011, ISBN: 9789048160365

Gebundene Ausgabe

Springer, 2011-01-11. Softcover reprint of hardcover 1. Paperback. Used:Good., Springer, 2011-01-11, 0

Versandkosten: EUR 19.82 Ergodebooks
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14)
Autor:
Titel:
ISBN-Nummer:

9789048160365


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.

Detailangaben zum Buch - Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14)


EAN (ISBN-13): 9789048160365
ISBN (ISBN-10): 9048160367
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer
256 Seiten
Gewicht: 0,413 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2011-01-27T05:54:45+01:00 (Zurich)
Detailseite zuletzt geändert am 2023-10-02T19:58:37+02:00 (Zurich)
ISBN/EAN: 9789048160365

ISBN - alternative Schreibweisen:
90-481-6036-7, 978-90-481-6036-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: what logics mean, categorical logic

Daten vom Verlag:

Autor/in: Silvio Ghilardi; M. Zawadowski
Titel: Trends in Logic; Sheaves, Games, and Model Completions - A Categorical Approach to Nonclassical Propositional Logics
Verlag: Springer; Springer Netherland
245 Seiten
Erscheinungsjahr: 2010-10-28
Dordrecht; NL
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
IX, 245 p.

BC; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; Interpolation; logic; modal logic; model theory; proof; simulation; Logic; Category Theory, Homological Algebra; Order, Lattices, Ordered Algebraic Structures; Mathematical Logic and Foundations; Artificial Intelligence; Algebra; Mathematik: Logik; Mathematische Grundlagen; Künstliche Intelligenz; BB; EA

1. Introduction.- 2. Preliminary Notions.- 3. Model Completions.- 4. Heyting Algebras.- 5. Duality for Modal Algebras.- 6. Model Completions in Modal Logic.- 7. Algebraically Closed Models.- 8. Open Problems.- 9. Appendix.- References.- Glossary of Notation.
Includes supplementary material: sn.pub/extras

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9789401599368 Sheaves, Games, and Model Completions (Silvio Ghilardi; M. Zawadowski)

< zum Archiv...