TY - GEN
T1 - Untruth, falsity and non-deterministic semantics
AU - Omori, Hitoshi
AU - Skurt, Daniel
N1 - Funding Information:
Some of the observations of this paper were presented by H.O. at Oberseminar Logik und Sprachtheorie in Tübingen in May 2019, and he would like to thank Luca Tranchini for his kind invitation and the audience for their helpful comments. We would like to thank the referees for their careful reading and helpful comments that improved our paper. The research of H.O. was supported by a Sofja Kovalevskaja Award of the Alexander von Humboldt-Foundation, funded by the German Ministry for Education and Research. The research of D.S., reported in this paper, has been carried out as part of the research project “Modal Semantics without Possible Worlds”, supported by the Deutsche Forschungsgemeinschaft, DFG, grant SK 379/1-1. We gratefully acknowledge their support.
Publisher Copyright:
© 2021 IEEE.
PY - 2021/5
Y1 - 2021/5
N2 - Non-deterministic semantics is known as an elegant and powerful framework that generalizes many-valued (or multiple-valued) semantics. In this paper, we focus on a subsystem of classical propositional logic - CLoN, obtained by removing all the axioms for negation, while keeping negation in the language. Given that there are two non-deterministic semantics for this system in the literature, we aim to address the question about the exact difference between these two semantics. In brief, the two different readings of the value 0 in the semantics for classical propositional logic will play an important role for that matter.
AB - Non-deterministic semantics is known as an elegant and powerful framework that generalizes many-valued (or multiple-valued) semantics. In this paper, we focus on a subsystem of classical propositional logic - CLoN, obtained by removing all the axioms for negation, while keeping negation in the language. Given that there are two non-deterministic semantics for this system in the literature, we aim to address the question about the exact difference between these two semantics. In brief, the two different readings of the value 0 in the semantics for classical propositional logic will play an important role for that matter.
KW - Falsity
KW - Negation
KW - Non-deterministic semantics
KW - Suszko's Thesis
KW - Truth
KW - Untruth
UR - http://www.scopus.com/inward/record.url?scp=85113215237&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85113215237&partnerID=8YFLogxK
U2 - 10.1109/ISMVL51352.2021.00022
DO - 10.1109/ISMVL51352.2021.00022
M3 - Conference contribution
AN - SCOPUS:85113215237
T3 - Proceedings of The International Symposium on Multiple-Valued Logic
SP - 74
EP - 80
BT - Proceedings - 2021 IEEE 51st International Symposium on Multiple-Valued Logic, ISMVL 2021
PB - IEEE Computer Society
T2 - 51st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2021
Y2 - 25 May 2021 through 27 May 2021
ER -