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 # 9789400734425
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 # ABLIING23Apr0412070050254
Quantity: Over 20 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 # ria9789400734425_new
Quantity: Over 20 available
Seller Image
Gentzen Calculi for Modal Propositional Logic
Published by
Springer Netherlands Jan 2013, 2013
ISBN 10: 9400734425
ISBN 13: 9789400734425
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. 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. 236 pp. Englisch. Seller Inventory # 9789400734425
Quantity: 2 available
Seller Image
Gentzen Calculi for Modal Propositional Logic
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
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 # 5826475
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 Index. Seller Inventory # 2654521469
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 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 55071138
Quantity: 4 available
Seller Image
Gentzen Calculi for Modal Propositional Logic
Published by
Springer Netherlands, Springer Netherlands Jan 2013, 2013
ISBN 10: 9400734425
ISBN 13: 9789400734425
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9789400734425
Quantity: 2 available
Seller Image
Gentzen Calculi for Modal Propositional Logic
Published by
Springer Netherlands, Springer Netherlands, 2013
ISBN 10: 9400734425
ISBN 13: 9789400734425
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. 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 # 9789400734425
Quantity: 1 available
Stock Image
Gentzen Calculi for Modal Propositional Logic
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 236. Seller Inventory # 1854521463
Quantity: 4 available