Dunn Semantics for Contra-Classical Logics
arXiv:2204.06739 · doi:10.4204/EPTCS.358.22
Abstract
In this paper I show, with a rich and systematized diet of examples, that many contra-classical logics can be presented as variants of FDE, obtained by modifying at least one of the truth or falsity conditions of some connective. Then I argue that using Dunn semantics provides a clear understanding of the source of contra-classicality, namely, connectives that have either the classical truth or the classical falsity condition of another connective. This requires a fine-grained analysis of the sorts of modifications that can be made to an evaluation condition, analysis which I offer here as well.
In Proceedings NCL 2022, arXiv:2204.06359