Items related to Gentzen Calculi for Modal Propositional Logic (Trends...
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.
"synopsis" may belong to another edition of this title.
From the Back Cover
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.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Gentzen Calculi for Modal Propositional Logic (Trends...
Stock Image
Gentzen Calculi for Modal Propositional Logic (Trends in Logic, 32)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9789048196692
Quantity: 2 available
Stock Image
Gentzen Calculi for Modal Propositional Logic (Trends in Logic, 32)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Apr0316110339858
Quantity: Over 20 available
Seller Image
Gentzen Calculi for Modal Propositional Logic Band 32
Seller: avelibro OHG, Dinkelscherben, Germany
Seller rating 5 out of 5 stars
24 x 16 cm. Condition: 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. Seller Inventory # 81935
Quantity: 1 available
Stock Image
Gentzen Calculi for Modal Propositional Logic (Trends in Logic, 32)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9789048196692_new
Quantity: Over 20 available
Stock Image
Gentzen Calculi for Modal Propositional Logic (Trends in Logic, 32)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9789048196692
Quantity: Over 20 available
Seller Image
Gentzen Calculi for Modal Propositional Logic
Print on DemandSeller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: 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. Seller Inventory # 9789048196692
Quantity: 2 available
Seller Image
Gentzen Calculi for Modal Propositional Logic
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Gebunden. Condition: 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. Seller Inventory # 5822674
Quantity: Over 20 available
Stock Image
Gentzen Calculi for Modal Propositional Logic
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 236. Seller Inventory # 262063957
Quantity: 4 available
Stock Image
Gentzen Calculi for Modal Propositional Logic
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 6865290
Quantity: 4 available
Seller Image
Gentzen Calculi for Modal Propositional Logic
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: 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. Seller Inventory # 9789048196692
Quantity: 2 available