Gentzen Calculi for Modal Propositional Logic

Name: Gentzen Calculi for Modal Propositional Logic
Brand: Springer
SKU: 9789048196692
Price: 3707 CZK
Availability: InStock

Autor: Francesca Poggiolesi

Jazyk:

Vazba: Pevná

Vydavatel: Springer

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 13-18 dnů

3 707 Kč

The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three pa...

Informace o knize

Autor

Francesca Poggiolesi

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2010

Stránek

224

EAN

9789048196692

ISBN

9048196698

Enbook ID

01976920

Vydavatel

Springer

Hmotnost

672

Rozměry

247 x 181 x 21

Kompletní popis

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.§

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Gentzen Calculi for Modal Propositional Logic

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také