Year: 2025
Type: 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.
Source: Journal of Logic and Computation
Author: Fernando Cano-Jorge
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $4,533
Funders: Royal Society Te Apārangi, Marsden Fund
OpenAlex ID: W4410975901