Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Norihiro Kamide. Extending Ideal Paraconsistent Four-Valued Logic. In 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017. pages 49-54, IEEE Computer Society, 2017. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued LogicNorihiro Kamide, Yoni Zohar. sLogica, 108(3):549-571, 2020. [doi] Modal extension of ideal paraconsistent four-valued logic and its subsystemNorihiro Kamide, Yoni Zohar. APAL, 171(10):102830, 2020. [doi] Finite Model Property for Modal Ideal Paraconsistent Four-Valued LogicNorihiro Kamide, Yoni Zohar. ismvl 2019: 120-125 [doi]
The following publications are possibly variants of this publication: