Gentzen Calculi for Modal Propositional Logic

This 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 pr...

Descripción completa

Detalles Bibliográficos
Autor principal: Poggiolesi, Francesca
Lenguaje:eng
Publicado: Springer 2011
Materias:
Mathematical Physics and Mathematics
Acceso en línea:https://dx.doi.org/10.1007/978-90-481-9670-8
http://cds.cern.ch/record/1412746
_version_ 1780923913015918592
author Poggiolesi, Francesca
author_facet Poggiolesi, Francesca
author_sort Poggiolesi, Francesca
collection CERN
description This 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
id cern-1412746
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2011
publisher Springer
record_format invenio
spelling cern-14127462021-04-22T00:44:20Zdoi:10.1007/978-90-481-9670-8http://cds.cern.ch/record/1412746engPoggiolesi, FrancescaGentzen Calculi for Modal Propositional LogicMathematical Physics and MathematicsThis 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 Springeroai:cds.cern.ch:14127462011
spellingShingle Mathematical Physics and Mathematics
Poggiolesi, Francesca
Gentzen Calculi for Modal Propositional Logic
title Gentzen Calculi for Modal Propositional Logic
title_full Gentzen Calculi for Modal Propositional Logic
title_fullStr Gentzen Calculi for Modal Propositional Logic
title_full_unstemmed Gentzen Calculi for Modal Propositional Logic
title_short Gentzen Calculi for Modal Propositional Logic
title_sort gentzen calculi for modal propositional logic
topic Mathematical Physics and Mathematics
url https://dx.doi.org/10.1007/978-90-481-9670-8
http://cds.cern.ch/record/1412746
work_keys_str_mv AT poggiolesifrancesca gentzencalculiformodalpropositionallogic

Ejemplares similares