Login / Signup
Realization of Ternary Łukasiewicz Logic using BiFeO3-based Memristive Devices.
Feng Liu
Xianyue Zhao
Ziang Chen
Christopher Bengel
Nan Du
Stephan Menzel
Published in:
ICECS (2023)
Keyphrases
</>
mobile devices
embedded devices
logic programming
modal logic
multi valued
classical logic
logic programs
computational properties
predicate logic
databases
bayesian networks
embedded systems
dynamic logic
delay insensitive
sound and complete axiomatization