Gentzen Calculi for Modal Propositional Logic

Name: Gentzen Calculi for Modal Propositional Logic
Brand: Springer
SKU: 9789048196692
Price: 839.16 RON
Availability: InStock

Autor: Francesca Poggiolesi

Limbă:

Legare: Copertă tare

Editura: Springer

Disponibilitate: În depozitul extern în cantități mici

Expediem în 13-18 zile

839.16 lei

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

Informații despre carte

Autor

Francesca Poggiolesi

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2010

Pagini

224

EAN

9789048196692

ISBN

9048196698

Enbook ID

01976920

Editura

Springer

Greutate

672

Dimensiuni

247 x 181 x 21

Descriere completă

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

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Gentzen Calculi for Modal Propositional Logic

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și