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

1 Scopus citations

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
ISSN (Print)	0195-623X

Conference

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

Bibliographical note

Publisher Copyright:
© 2019 IEEE.

Funding

ACKNOWLEDGMENT N. Kamide was supported by JSPS KAKENHI Grant Numbers JP18K11171, JP16KK0007, and JSPS Core-to-Core Program (A. Advanced Research Networks).

Funders	Funder number
Japan Society for the Promotion of Science	JP18K11171, JP16KK0007

Keywords

Ideal paraconsistent four valued logic
completeness theorem
finite model property

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{1b32aaf14f784654ae7c22c083aed718,

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 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85069174963

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

Bibliographical note

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this