Ternary Łukasiewicz logic using memristive devices.
Christopher BengelFeng LiuZiang ChenXianyue ZhaoRainer WaserHeidemarie SchmidtNan DuStephan MenzelPublished in: Neuromorph. Comput. Eng. (2023)
Keyphrases
- modal logic
- mobile devices
- logic programming
- deontic logic
- embedded devices
- logical framework
- classical logic
- proof theory
- electronic devices
- processing capabilities
- multi valued
- information systems
- computational properties
- defeasible logic
- set theory
- predicate logic
- embedded systems
- mobile phone
- wireless sensor networks
- dynamic logic
- case study