Novel universal threshold logic gate based on RTD and its application.

Yi Wei Jizhong Shen

Published in: Microelectron. J. (2011)

Keyphrases

multi valued
logic programming
modal logic
classical logic
threshold selection
automated reasoning
computational properties
predicate logic
logic programs
neural network
knowledge base
low cost
theorem prover
theorem proving
deontic logic
proof theory