Gentzen Calculi for Modal Propositional Logic

Name: Gentzen Calculi for Modal Propositional Logic
Brand: Springer
SKU: 9789048196692
Price: 59321 HUF
Availability: InStock

Szerző: Francesca Poggiolesi

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 13-18 napon belül

59 321 Ft

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

Információk a könyvről

Szerző

Francesca Poggiolesi

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2010

oldal

224

EAN

9789048196692

ISBN

9048196698

Enbook ID

01976920

Kiadó

Springer

Súly

672

Méretek

247 x 181 x 21

Teljes leírás

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

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Gentzen Calculi for Modal Propositional Logic

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták