TY - JOUR
T1 - The Disjunction-Free Fragment of D2 is Three-Valued
AU - Omori, Hitoshi
N1 - Publisher Copyright:
© H. Omori.
PY - 2024/12/31
Y1 - 2024/12/31
N2 - In this article, the disjunction-free fragment of Jaśkowski’s discussive logic D2 in the language of classical logic is shown to be complete with respect to three- and four-valued semantics. As a byproduct, a rather simple axiomatization of the disjunction-free fragment of D2 is obtained. Some implications of this result are also discussed.
AB - In this article, the disjunction-free fragment of Jaśkowski’s discussive logic D2 in the language of classical logic is shown to be complete with respect to three- and four-valued semantics. As a byproduct, a rather simple axiomatization of the disjunction-free fragment of D2 is obtained. Some implications of this result are also discussed.
UR - http://www.scopus.com/inward/record.url?scp=85214818794&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85214818794&partnerID=8YFLogxK
U2 - 10.4204/EPTCS.415.22
DO - 10.4204/EPTCS.415.22
M3 - Conference article
AN - SCOPUS:85214818794
SN - 2075-2180
VL - 415
SP - 257
EP - 270
JO - Electronic Proceedings in Theoretical Computer Science, EPTCS
JF - Electronic Proceedings in Theoretical Computer Science, EPTCS
T2 - 11th International Conference on Non-Classical Logics. Theory and Applications, NCL 2024
Y2 - 5 September 2024 through 8 September 2024
ER -