Artículos relacionados a Gentzen Calculi for Modal Propositional Logic: 32 (Trends...
Sinopsis
The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present the several attempts made from the 50's until today to provide modal logic with Gentzen calculi. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author. We show in a precise and clear way the main results that can be proved with and about them.
"Sinopsis" puede pertenecer a otra edición de este libro.
De la contraportada
The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present the several attempts made from the 50 s until today to provide modal logic with Gentzen calculi. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author. We show in a precise and clear way the main results that can be proved with and about them.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 128,41
EUR 19,49 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para Gentzen Calculi for Modal Propositional Logic: 32 (Trends...
Imagen del vendedor
Gentzen Calculi for Modal Propositional Logic Band 32
Publicado por
Heidelberg : Springer, 2011
ISBN 10: 9048196698
ISBN 13: 9789048196692
Antiguo o usado
Tapa dura
Librería: avelibro OHG, Dinkelscherben, Alemania
Calificación del vendedor: 5 de 5 estrellas
24 x 16 cm. Condición: Gut. XI, 222 Seiten ; Mit Figuren Trends in Logic 32 - Innen sauberer, guter Zustand. Hardcover, Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). Einband sehr gut erhalten. In Englisch MIG-33-05A|S2 Sprache: Englisch Gewicht in Gramm: 510. Nº de ref. del artículo: 81935
Cantidad disponible: 1 disponibles
Imagen del vendedor
Gentzen Calculi for Modal Propositional Logic
Impresión bajo demandaLibrería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Gebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book which gives an uniform and exhausitive presentation of both types of sequent calculus for modal logic, the purely syntactic sequent calculi as well as the semantic ones First book that gives a complete and accurate description of the tree-hyperse. Nº de ref. del artículo: 5822674
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Gentzen Calculi for Modal Propositional Logic (Trends in Logic, 32)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9789048196692_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Gentzen Calculi for Modal Propositional Logic
Impresión bajo demandaLibrería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present the several attempts made from the 50's until today to provide modal logic with Gentzen calculi. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author. We show in a precise and clear way the main results that can be proved with and about them. 224 pp. Englisch. Nº de ref. del artículo: 9789048196692
Cantidad disponible: 2 disponibles
Imagen de archivo
Gentzen Calculi for Modal Propositional Logic (Trends in Logic, 32)
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9789048196692
Cantidad disponible: 2 disponibles
Imagen del vendedor
Gentzen Calculi for Modal Propositional Logic
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present the several attempts made from the 50's until today to provide modal logic with Gentzen calculi. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author. We show in a precise and clear way the main results that can be proved with and about them. Nº de ref. del artículo: 9789048196692
Cantidad disponible: 2 disponibles
Imagen de archivo
Gentzen Calculi for Modal Propositional Logic (Trends in Logic, 32)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9789048196692
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Gentzen Calculi for Modal Propositional Logic
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 236. Nº de ref. del artículo: 262063957
Cantidad disponible: 4 disponibles
Imagen de archivo
Gentzen Calculi for Modal Propositional Logic (Trends in Logic, 32)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Apr0316110339858
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Gentzen Calculi for Modal Propositional Logic
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Print on Demand pp. 236 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Nº de ref. del artículo: 6865290
Cantidad disponible: 4 disponibles