Articles liés à Gentzen Calculi for Modal Propositional Logic
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
This book is about proof theory for (the main systems of) modal logic. It is the first book to give a uniform and exhaustive presentation of both types of sequent calculus for modal logic, the purely syntactic sequent calculi as well as the semantic ones.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 139,51
EUR 7,65 expédition vers Etats-Unis
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Gentzen Calculi for Modal Propositional Logic
Image d'archives
Gentzen Calculi for Modal Propositional Logic (Trends in Logic, 32)
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. SUPER FAST SHIPPING. N° de réf. du vendeur 9789400734425
Quantité disponible : 2 disponible(s)
Image d'archives
Gentzen Calculi for Modal Propositional Logic (Trends in Logic, 32)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Apr0412070050254
Quantité disponible : Plus de 20 disponibles
Image d'archives
Gentzen Calculi for Modal Propositional Logic (Trends in Logic, 32)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9789400734425_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Gentzen Calculi for Modal Propositional Logic
Edité par
Springer Netherlands Jan 2013, 2013
ISBN 10 : 9400734425
ISBN 13 : 9789400734425
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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 réf. du vendeur 9789400734425
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Gentzen Calculi for Modal Propositional Logic
Edité par
Springer Netherlands, 2013
ISBN 10 : 9400734425
ISBN 13 : 9789400734425
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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 réf. du vendeur 5826475
Quantité disponible : Plus de 20 disponibles
Image d'archives
Gentzen Calculi for Modal Propositional Logic
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 236 Index. N° de réf. du vendeur 2654521469
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Gentzen Calculi for Modal Propositional Logic
Edité par
Springer Netherlands, Springer Netherlands Jan 2013, 2013
ISBN 10 : 9400734425
ISBN 13 : 9789400734425
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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 réf. du vendeur 9789400734425
Quantité disponible : 2 disponible(s)
Image d'archives
Gentzen Calculi for Modal Propositional Logic
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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 réf. du vendeur 55071138
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Gentzen Calculi for Modal Propositional Logic
Edité par
Springer Netherlands, Springer Netherlands, 2013
ISBN 10 : 9400734425
ISBN 13 : 9789400734425
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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 réf. du vendeur 9789400734425
Quantité disponible : 1 disponible(s)
Image d'archives
Gentzen Calculi for Modal Propositional Logic
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 236. N° de réf. du vendeur 1854521463
Quantité disponible : 4 disponible(s)