to 1 multiplexer using new IMPLY logic approach.

Ahmad Karimi Abdalhossein Rezai

Published in: IET Circuits Devices Syst. (2019)

Keyphrases

modal logic
classical logic
predicate logic
logic programming
digital circuits
multi valued
probabilistic logic
computational properties
image sequences
natural language
expert systems
set theory
natural deduction
proof theory