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.

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