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

Norihiro Kamide; Yoni Zohar

doi:10.1007/s11225-019-09863-4

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

Norihiro Kamide, Yoni Zohar

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	549-571
Number of pages	23
Journal	Studia Logica
Volume	108
Issue number	3
DOIs	https://doi.org/10.1007/s11225-019-09863-4
State	Published - 1 Jun 2020
Externally published	Yes

Keywords

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

All Science Journal Classification (ASJC) codes

Logic
History and Philosophy of Science

Access to Document

10.1007/s11225-019-09863-4

Cite this

@article{1e5b5dc72fe843b3b288d6e442757116,

title = "Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic",

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

keywords = "4CC, Completeness theorem, Cut-elimination theorem, Ideal paraconsistent four-valued logic",

author = "Norihiro Kamide and Yoni Zohar",

note = "Publisher Copyright: {\textcopyright} 2019, Springer Nature B.V.",

year = "2020",

month = jun,

day = "1",

doi = "10.1007/s11225-019-09863-4",

language = "الإنجليزيّة",

volume = "108",

pages = "549--571",

journal = "Studia Logica",

issn = "0039-3215",

publisher = "Springer Netherlands",

number = "3",

}

TY - JOUR

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

AU - Kamide, Norihiro

AU - Zohar, Yoni

PY - 2020/6/1

Y1 - 2020/6/1

N2 - 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.

AB - 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.

KW - 4CC

KW - Completeness theorem

KW - Cut-elimination theorem

KW - Ideal paraconsistent four-valued logic

UR - http://www.scopus.com/inward/record.url?scp=85065666276&partnerID=8YFLogxK

U2 - 10.1007/s11225-019-09863-4

DO - 10.1007/s11225-019-09863-4

M3 - مقالة

SN - 0039-3215

VL - 108

SP - 549

EP - 571

JO - Studia Logica

JF - Studia Logica

IS - 3

ER -

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

Abstract

Keywords

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this