Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic

Norihiro Kamide, Yoni Zohar

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Abstract

In this study, we prove the completeness and cut-elimination theorems for a first-order extension F4CC of Arieli, Avron, and Zamansky’s ideal paraconsistent four-valued logic known as 4CC. These theorems are proved using Schütte’s method, which can simultaneously prove completeness and cut-elimination.

Original languageEnglish
Pages (from-to)549-571
Number of pages23
JournalStudia Logica
Volume108
Issue number3
DOIs
StatePublished - 1 Jun 2020
Externally publishedYes

Bibliographical note

Publisher Copyright:
© 2019, Springer Nature B.V.

Funding

We would like to thank the anonymous referees for their valuable comments. Norihiro Kamide was supported by JSPS KAKENHI Grant Numbers JP18K11171, JP16KK0007 and JSPS Core-to-Core Program (A. Advanced Research Networks).

FundersFunder number
Japan Society for the Promotion of ScienceJP18K11171, JP16KK0007

    Keywords

    • 4CC
    • Completeness theorem
    • Cut-elimination theorem
    • Ideal paraconsistent four-valued logic

    Fingerprint

    Dive into the research topics of 'Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic'. Together they form a unique fingerprint.

    Cite this