@inproceedings{b744932fdd8e4747aaec7f7ed6002058,
title = "Liberating classical negation from falsity conditions",
abstract = "In one of their papers, Michael De and Hitoshi Omori observed that the notion of classical negation is not uniquely determined in the context of so-called Belnap-Dunn logic, and in fact there are 16 unary operations that qualify to be called classical negation. These varieties are due to different falsity conditions one may assume for classical negation. The aim of this paper is to observe that there is an interesting way to make sense of classical negation independent of falsity conditions. We discuss two equivalent semantics, and offer a Hilbert-style system that is sound and complete with respect to the semantics.",
keywords = "Belnap-Dunn logic, Classical negation, falsity condition, non-deterministic semantics",
author = "Damian Szmuc and Hitoshi Omori",
note = "Publisher Copyright: {\textcopyright} 2022 IEEE.; 52nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2022 ; Conference date: 18-05-2022 Through 20-05-2022",
year = "2022",
doi = "10.1109/ISMVL52857.2022.00027",
language = "English",
series = "Proceedings of The International Symposium on Multiple-Valued Logic",
publisher = "IEEE Computer Society",
pages = "131--136",
booktitle = "Proceedings - 2022 IEEE 52nd International Symposium on Multiple-Valued Logic, ISMVL 2022",
address = "United States",
}