- 5 Risultati
prezzo più basso: € 38,28, prezzo più alto: € 197,42, prezzo medio: € 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
Ordina
da Amazon.de (Intern. Bücher)
€ 38,28
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato
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) - edizione con copertina flessibile

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,… Altro …

Costi di spedizione: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
Chiudere (X)
2
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14) - Ghilardi, Silvio, Zawadowski, M.
Ordina
da amazon.co.uk
£ 69,85
(indicativi € 80,79)
Spedizione: € 5,551
Ordina
Dettagli del offerente
Link sponsorizzato

Ghilardi, Silvio, Zawadowski, M.:

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

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 … Altro …

Gut Costi di spedizione:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.55) Fast Cat Books
Chiudere (X)
3
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14) - Ghilardi, Silvio, Zawadowski, M.
Ordina
da amazon.co.uk
£ 34,73
(indicativi € 40,17)
Spedizione: € 5,551
Ordina
Dettagli del offerente
Link sponsorizzato
Ghilardi, Silvio, Zawadowski, M.:
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14) - edizione con copertina flessibile

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 … Altro …

Costi di spedizione:Usually dispatched within 5 to 6 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.55) ~~V KING~~
Chiudere (X)
4
Sheaves, Games, and Model Completions - Silvio Ghilardi M. Zawadowski
Ordina
da booklooker.de
€ 91,95
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Silvio Ghilardi M. Zawadowski:
Sheaves, Games, and Model Completions - Prima edizione

2010, ISBN: 9789048160365

edizione con copertina flessibile

[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… Altro …

Costi di spedizione:Versandkostenfrei. (EUR 0.00) Moluna GmbH
Chiudere (X)
5
Ordina
da Biblio.co.uk
$ 209,15
(indicativi € 197,42)
Spedizione: € 19,821
Ordina
Dettagli del offerente
Link sponsorizzato
Silvio Ghilardi, M. Zawadowski:
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic) - edizione con copertina flessibile

2011, ISBN: 9789048160365

edizione con copertina rigida

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

Costi di spedizione: EUR 19.82 Ergodebooks
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14)
Autore:
Titolo:
ISBN:

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.

Informazioni dettagliate del libro - 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
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2010
Editore: Springer
256 Pagine
Peso: 0,413 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2011-01-27T05:54:45+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-10-02T19:58:37+02:00 (Zurich)
ISBN/EAN: 9789048160365

ISBN - Stili di scrittura alternativi:
90-481-6036-7, 978-90-481-6036-5
Stili di scrittura alternativi e concetti di ricerca simili:
Titolo del libro: what logics mean, categorical logic

Dati dell'editore

Autore: Silvio Ghilardi; M. Zawadowski
Titolo: Trends in Logic; Sheaves, Games, and Model Completions - A Categorical Approach to Nonclassical Propositional Logics
Editore: Springer; Springer Netherland
245 Pagine
Anno di pubblicazione: 2010-10-28
Dordrecht; NL
Stampato / Fatto in
Lingua: Inglese
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

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9789401599368 Sheaves, Games, and Model Completions (Silvio Ghilardi; M. Zawadowski)

< Per archiviare...