Stateful implication logic with memristors.

Eero Lehtonen Mika Laiho

Published in: NANOARCH (2009)

Keyphrases

modal logic
classical logic
predicate logic
logical implication
logic programming
digital circuits
proof theory
modal operators
automated reasoning
relational databases
data sets
functional dependencies
formal theory
epistemic logic
model checking
deontic logic
dynamic logic
artificial intelligence