Logic Minimization Based on Dual Logic.

Lun-Yao Wang Yinshui Xia

Published in: CAD/Graphics (2013)

Keyphrases

modal logic
predicate logic
multi valued
logic programming
epistemic logic
multiscale
defeasible logic
classical logic
inference rules
proof theory
deontic logic
computational properties
real time
database systems
information systems
learning algorithm
neural network