Logic of Reduced Power Structures.

George C. Nelson

Published in: J. Symb. Log. (1983)

Keyphrases

power consumption
classical logic
significantly reduced
multi valued
neural network
expert systems
logic programming
image structure
automated reasoning
defeasible logic
digital circuits
predicate logic
proof theory