Articoli correlati a Gentzen Calculi for Modal Propositional Logic: 32
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Dalla quarta di copertina
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 139,49
EUR 7,65 per la spedizione in U.S.A.
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per Gentzen Calculi for Modal Propositional Logic: 32
Foto dell'editore
Gentzen Calculi for Modal Propositional Logic (Trends in Logic, 32)
Da: Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. SUPER FAST SHIPPING. Codice articolo 9789400734425
Quantità: 2 disponibili
Foto dell'editore
Gentzen Calculi for Modal Propositional Logic (Trends in Logic, 32)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Apr0412070050254
Quantità: Più di 20 disponibili
Foto dell'editore
Gentzen Calculi for Modal Propositional Logic (Trends in Logic, 32)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9789400734425_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Gentzen Calculi for Modal Propositional Logic
Editore:
Springer Netherlands Jan 2013, 2013
ISBN 10: 9400734425
ISBN 13: 9789400734425
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9789400734425
Quantità: 2 disponibili
Immagini fornite dal venditore
Gentzen Calculi for Modal Propositional Logic
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: 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. Codice articolo 5826475
Quantità: Più di 20 disponibili
Foto dell'editore
Gentzen Calculi for Modal Propositional Logic
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 236 Index. Codice articolo 2654521469
Quantità: 4 disponibili
Immagini fornite dal venditore
Gentzen Calculi for Modal Propositional Logic
Editore:
Springer Netherlands, Springer Netherlands Jan 2013, 2013
ISBN 10: 9400734425
ISBN 13: 9789400734425
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9789400734425
Quantità: 2 disponibili
Foto dell'editore
Gentzen Calculi for Modal Propositional Logic
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 55071138
Quantità: 4 disponibili
Immagini fornite dal venditore
Gentzen Calculi for Modal Propositional Logic
Editore:
Springer Netherlands, Springer Netherlands, 2013
ISBN 10: 9400734425
ISBN 13: 9789400734425
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9789400734425
Quantità: 1 disponibili
Foto dell'editore
Gentzen Calculi for Modal Propositional Logic
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 236. Codice articolo 1854521463
Quantità: 4 disponibili