Dunn Semantics for Contra-Classical Logics
Logic in Computer Science
2022-04-15 v1
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.
Cite
@article{arxiv.2204.06739,
title = {Dunn Semantics for Contra-Classical Logics},
author = {Luis Estrada-González},
journal= {arXiv preprint arXiv:2204.06739},
year = {2022}
}
Comments
In Proceedings NCL 2022, arXiv:2204.06359