On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus.
Richmond H. ThomasonPublished in: J. Symb. Log. (1968)
Keyphrases
- predicate calculus
- theorem prover
- theorem proving
- formal model
- first order logic
- classical logic
- semantic network
- predicate logic
- lambda calculus
- proof procedure
- fuzzy set theory
- semantic net
- linear logic
- natural deduction
- inference rules
- database systems
- high level
- incomplete information
- knowledge discovery
- data analysis
- artificial intelligence