Untruth, falsity and non-deterministic semantics
Hitoshi Omori, Daniel Skurt · 2021
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.