Gates and circuits via Dunn semantics
Journal
Journal of Logic and Computation
ISSN
0955-792X
1465-363X
Publisher
Oxford University Press (OUP)
Date Issued
2025
Type
text::journal::journal article
Abstract
Computer hardware is heavily reliant on classical logic, but could we use some non-classical logic instead? In this paper I suggest an alternative model of implementation of logic gates in electronics. In particular, I propose a model that takes descriptions of logical connectives through means of Dunn semantics and implements them as logic gates by using a double current system: one for truth and one for falsity, instead of the classical use of a single current for both values. The outcome of this proposal should pave the way to new models of non-classical and even contra-classical computation based on paraconsistent, paracomplete and paranormal logics. © The author © Oxford University Press.
License
Acceso Abierto
How to cite
Fernando Cano-Jorge, Gates and circuits via Dunn semantics, Journal of Logic and Computation, Volume 35, Issue 4, June 2025, exaf033, https://doi.org/10.1093/logcom/exaf033