The completeness of intuitionistic propositional calculus for its intended interpretation.

John P. Burgess

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

Keyphrases

propositional calculus
high level
theorem prover
linear logic
image interpretation
ultimate goal
neural network
data mining
fuzzy set theory
real world
data quality
database
computer vision
website
image sequences
semantic interpretation