Partial and paraconsistent three-valued logics

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

2 Téléchargements (Pure)


On the sidelines of classical logic, many partial and paraconsistent three-valued logics have been developed. Most of them differ in the notion of logical consequence or in the definition of logical connectives. This article aims, firstly, to provide both a model-theoretic and a proof-theoretic unified framework for these logics and, secondly, to apply these general frameworks to several well-known three-valued logics. The proof-theoretic approach to which we give preference is sequent calculus. In this perspective, several results concerning the properties of functional completeness, cut redundancy, and proof-search procedure are shown. We also provide a general proof for the soundness and the completeness of the three sequent calculi discussed.

langue originaleAnglais
Pages (de - à)143-171
Nombre de pages29
journalLogic and Logical Philosophy
Numéro de publication2
Les DOIs
Etat de la publicationPublié - 1 juin 2016

Empreinte digitale

Examiner les sujets de recherche de « Partial and paraconsistent three-valued logics ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation