Free logic and the concept of existence.

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

Keyphrases

set theory
formal logic
databases
predicate logic
neural network
computer vision
modal logic
concept learning
automated reasoning
logical framework
complementarity problems