Cuts, gluts and gaps

Résultats de recherche: Contribution à un journal/une revueArticleRevue par des pairs


This paper deals with predicate logics involving two truth values (here referred to as bivalent logics). Sequent calculi for these logics rely on a general notion of sequent that helps to make the principles of excluded middle and non-contradiction explicit. Several formulations of the redundancy of cut are possible in these sequent calculi. Indeed, four different forms of cut can be distinguished. I prove that only two of them hold for positive sequent calculus (which is both paraconsistent and paracomplete) while all of them hold for classical sequent calculus. As for complete and consistent sequent calculi (which are respectively paraconsistent and paracomplete), I prove that they only admit one form of cut in addition to the two that hold for positive sequent calculus.

langue originaleAnglais
Pages (de - à)229-240
Nombre de pages12
journalLogique et Analyse
Numéro de publication218
Etat de la publicationPublié - avr. 2012

Empreinte digitale

Examiner les sujets de recherche de « Cuts, gluts and gaps ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation