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 127,40
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
Publicado por
Springer Netherlands, 2013
ISBN 10: 9400734425
ISBN 13: 9789400734425
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
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: 5826475
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: ria9789400734425_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Gentzen Calculi for Modal Propositional Logic
Publicado por
Springer Netherlands Jan 2013, 2013
ISBN 10: 9400734425
ISBN 13: 9789400734425
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. 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. 236 pp. Englisch. Nº de ref. del artículo: 9789400734425
Cantidad disponible: 2 disponibles
Imagen del vendedor
Gentzen Calculi for Modal Propositional Logic
Publicado por
Springer Netherlands, Springer Netherlands, 2013
ISBN 10: 9400734425
ISBN 13: 9789400734425
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. 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: 9789400734425
Cantidad disponible: 1 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: 9789400734425
Cantidad disponible: 2 disponibles
Imagen del vendedor
Gentzen Calculi for Modal Propositional Logic
Publicado por
Springer Netherlands, Springer Netherlands Jan 2013, 2013
ISBN 10: 9400734425
ISBN 13: 9789400734425
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Neuware -The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first partwe 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch. Nº de ref. del artículo: 9789400734425
Cantidad disponible: 2 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 Index. Nº de ref. del artículo: 2654521469
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: ABLIING23Apr0412070050254
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 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Nº de ref. del artículo: 55071138
Cantidad disponible: 4 disponibles
Imagen de archivo
Gentzen Calculi for Modal Propositional Logic
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 236. Nº de ref. del artículo: 1854521463
Cantidad disponible: 4 disponibles