000 02359nam a22004815i 4500
001 978-90-481-9670-8
003 DE-He213
005 20140220083825.0
007 cr nn 008mamaa
008 101119s2011 ne | s |||| 0|eng d
020 _a9789048196708
_9978-90-481-9670-8
024 7 _a10.1007/978-90-481-9670-8
_2doi
050 4 _aB1-5802
072 7 _aHP
_2bicssc
072 7 _aPHI000000
_2bisacsh
082 0 4 _a10
_223
100 1 _aPoggiolesi, Francesca.
_eauthor.
245 1 0 _aGentzen Calculi for Modal Propositional Logic
_h[electronic resource] /
_cby Francesca Poggiolesi.
264 1 _aDordrecht :
_bSpringer Netherlands,
_c2011.
300 _aXII, 224 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTrends in Logic ;
_v32
505 0 _aPartI An overview of the sequent calcus -- PartII, Sequent caluli for modal logic -- Part III, Tree-hyperseqent calculi -- Reference -- Symbols and notations -- Index.
520 _aThe 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.  
650 0 _aPhilosophy (General).
650 0 _aComputer vision.
650 0 _aMathematics.
650 1 4 _aPhilosophy.
650 2 4 _aPhilosophy.
650 2 4 _aMathematics, general.
650 2 4 _aComputer Imaging, Vision, Pattern Recognition and Graphics.
650 2 4 _aLinguistics (general).
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9789048196692
830 0 _aTrends in Logic ;
_v32
856 4 0 _uhttp://dx.doi.org/10.1007/978-90-481-9670-8
912 _aZDB-2-SMA
999 _c109061
_d109061