A new definition of the Dosen's principle

Francesca Poggiolesi

Onderzoeksoutput: Chapterpeer review


There is currently a flourish of different logics. The original Gentzen sequent
calculus has often been modified in order to provide each of these logics with
a proof system. Nevertheless not all kind of modifications should be allowed
but just those which preserve the philosophical and formal importance of
Gentzen system. This is the reason why since the 90's some authors as Avron
(1996), Indrezejczak (1997), and Wansing (1994), have tried to make a list of
properties which characterize what is a good sequent calculus. Indeed these
properties limit the type of changes applicable to the original sequent calculus
and therefore guarantee, if respected, the correctness of any new proof system.
Amongst these properties there is one which has been proposed by Dosen (1989)
and which is nowadays known as Dossen's principle. This paper will be dedicated
to the analysis of such property.
Originele taal-2English
TitelThe Logica Yearbook 2008
RedacteurenM. Pelis
UitgeverijCollege Publications
Aantal pagina's15
ISBN van geprinte versie978-1-904987-46-8
StatusPublished - 2008

Publicatie series

NaamA new definition of the Dosen's principle

Bibliografische nota

M. Pelis


Duik in de onderzoeksthema's van 'A new definition of the Dosen's principle'. Samen vormen ze een unieke vingerafdruk.

Citeer dit