Corner on directions in nonclassical logic.

Heinrich Wansing

Published in: J. Log. Comput. (2001)

Keyphrases

receptive fields
predicate logic
classical logic
sound and complete axiomatization
databases
database
bayesian networks
computational properties
set theory
real time
neural network
information systems
natural images
logic programming
theorem prover
multi valued