A Semiparallel Full-Adder in IMPLY Logic.

Shokat Ganjeheizadeh Rohani Nima Taherinejad David Radakovits

Published in: ISCAS (2020)

Keyphrases

logic circuits
automated reasoning
modal logic
classical logic
multi valued
proof theory
logic programming
probabilistic logic
computational properties
delay insensitive
real time
asynchronous circuits
abductive reasoning
predicate logic
defeasible logic
low cost
expert systems
artificial intelligence
real world