Login / Signup
On Universal Logic Primitives.
George J. Klir
Published in:
IEEE Trans. Computers (1971)
Keyphrases
</>
multi valued
modal logic
automated reasoning
classical logic
asynchronous circuits
low level
logic programming
logical framework
sound and complete axiomatization
computational properties
building blocks
high level
set theory
predicate logic
formal theory
dynamic logic
proof theory
deductive reasoning
real world