Sentential calculus for logical falsehoods.

Charles G. Morgan

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

Keyphrases

lambda calculus
probabilistic logic
predicate calculus
computer vision
data structure
logical properties