A note about connection of the first-order functional calculus with many-valued propositional calculi.
Juliusz ReichbachPublished in: Notre Dame J. Formal Log. (1964)
Keyphrases
- first order logic
- proof procedure
- horn clauses
- qualitative spatial and temporal reasoning
- conceptual clustering
- qualitative spatial reasoning
- theorem proving
- propositional logic
- predicate calculus
- classical first order logic
- probabilistic logic
- expressive power
- higher order
- qualitative spatial
- modal logic
- general logic programs
- model theoretic
- term rewriting
- inference rules
- relational calculus
- theorem prover
- sequent calculi
- knowledge representation
- relational algebra
- conditional logic
- interval algebra
- logic programming
- truth values
- inductive logic programming
- default logic
- cardinal directions
- real numbers
- multi valued
- spatial reasoning
- constraint networks