A Basic System of Congruential-to-Monotone Bimodal Logic and Two of its Extensions.

Lloyd Humberstone

Published in: Notre Dame J. Formal Log. (1996)

Keyphrases

knowledge representation formalisms
logic programming
boolean functions
classical logic
upper bound
multi valued
set theory
random numbers
random number
asynchronous circuits
digital circuits
pseudorandom
computational properties
deontic logic
neural network
default logic
sound and complete axiomatization