Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic

Norihiro Kamide; Yoni Zohar

doi:10.1109/ismvl.2019.00029

Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic

Norihiro Kamide, Yoni Zohar

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

A modal extension M4CC of Arieli, Avron, and Zamansky's ideal paraconsistent four-valued logic 4CC is introduced as a Gentzen-type sequent calculus. The completeness theorem with respect to a Kripke semantics for M4CC is proved. The finite model property for M4CC is shown by modifying the completeness proof. The decidability of M4CC is obtained as a corollary.

Original language	English
Title of host publication	Proceedings - 2019 IEEE 49th International Symposium on Multiple-Valued Logic, ISMVL 2019
Publisher	IEEE Computer Society
Pages	120-125
Number of pages	6
ISBN (Electronic)	9781728100913
DOIs	https://doi.org/10.1109/ismvl.2019.00029
State	Published - May 2019
Externally published	Yes
Event	49th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2019 - Fredericton, Canada Duration: 21 May 2019 → 23 May 2019

Publication series

Name	Proceedings of The International Symposium on Multiple-Valued Logic
Volume	2019-May

Conference

Conference	49th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2019
Country/Territory	Canada
City	Fredericton
Period	21/05/19 → 23/05/19

Keywords

Ideal paraconsistent four valued logic
completeness theorem
finite model property

All Science Journal Classification (ASJC) codes

General Computer Science
General Mathematics

Access to Document

10.1109/ismvl.2019.00029

Cite this

Kamide, N., & Zohar, Y. (2019). Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic. In Proceedings - 2019 IEEE 49th International Symposium on Multiple-Valued Logic, ISMVL 2019 (pp. 120-125). Article 8758723 (Proceedings of The International Symposium on Multiple-Valued Logic; Vol. 2019-May). IEEE Computer Society. https://doi.org/10.1109/ismvl.2019.00029

@inproceedings{27c42371943b483588989da673e6d6a1,

title = "Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic",

abstract = "A modal extension M4CC of Arieli, Avron, and Zamansky's ideal paraconsistent four-valued logic 4CC is introduced as a Gentzen-type sequent calculus. The completeness theorem with respect to a Kripke semantics for M4CC is proved. The finite model property for M4CC is shown by modifying the completeness proof. The decidability of M4CC is obtained as a corollary.",

keywords = "Ideal paraconsistent four valued logic, completeness theorem, finite model property",

author = "Norihiro Kamide and Yoni Zohar",

note = "Publisher Copyright: {\textcopyright} 2019 IEEE.; 49th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2019 ; Conference date: 21-05-2019 Through 23-05-2019",

year = "2019",

month = may,

doi = "10.1109/ismvl.2019.00029",

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

series = "Proceedings of The International Symposium on Multiple-Valued Logic",

publisher = "IEEE Computer Society",

pages = "120--125",

booktitle = "Proceedings - 2019 IEEE 49th International Symposium on Multiple-Valued Logic, ISMVL 2019",

address = "الولايات المتّحدة",

}

Kamide, N & Zohar, Y 2019, Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic. in Proceedings - 2019 IEEE 49th International Symposium on Multiple-Valued Logic, ISMVL 2019., 8758723, Proceedings of The International Symposium on Multiple-Valued Logic, vol. 2019-May, IEEE Computer Society, pp. 120-125, 49th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2019, Fredericton, Canada, 21/05/19. https://doi.org/10.1109/ismvl.2019.00029

Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic. / Kamide, Norihiro; Zohar, Yoni.
Proceedings - 2019 IEEE 49th International Symposium on Multiple-Valued Logic, ISMVL 2019. IEEE Computer Society, 2019. p. 120-125 8758723 (Proceedings of The International Symposium on Multiple-Valued Logic; Vol. 2019-May).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic

AU - Kamide, Norihiro

AU - Zohar, Yoni

PY - 2019/5

Y1 - 2019/5

N2 - A modal extension M4CC of Arieli, Avron, and Zamansky's ideal paraconsistent four-valued logic 4CC is introduced as a Gentzen-type sequent calculus. The completeness theorem with respect to a Kripke semantics for M4CC is proved. The finite model property for M4CC is shown by modifying the completeness proof. The decidability of M4CC is obtained as a corollary.

AB - A modal extension M4CC of Arieli, Avron, and Zamansky's ideal paraconsistent four-valued logic 4CC is introduced as a Gentzen-type sequent calculus. The completeness theorem with respect to a Kripke semantics for M4CC is proved. The finite model property for M4CC is shown by modifying the completeness proof. The decidability of M4CC is obtained as a corollary.

KW - Ideal paraconsistent four valued logic

KW - completeness theorem

KW - finite model property

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

U2 - 10.1109/ismvl.2019.00029

DO - 10.1109/ismvl.2019.00029

M3 - منشور من مؤتمر

T3 - Proceedings of The International Symposium on Multiple-Valued Logic

SP - 120

EP - 125

BT - Proceedings - 2019 IEEE 49th International Symposium on Multiple-Valued Logic, ISMVL 2019

PB - IEEE Computer Society

T2 - 49th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2019

Y2 - 21 May 2019 through 23 May 2019

ER -

Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic

Abstract

Publication series

Conference

Keywords

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this