On the connection of the first-order functional calculus with many-valued propositional calculi.
Juliusz ReichbachPublished in: Notre Dame J. Formal Log. (1962)
Keyphrases
- first order logic
- proof procedure
- horn clauses
- qualitative spatial and temporal reasoning
- propositional logic
- predicate calculus
- term rewriting
- expressive power
- conceptual clustering
- qualitative spatial reasoning
- answer set programs
- answer set programming
- theorem proving
- probabilistic logic
- higher order
- inference rules
- modal logic
- general logic programs
- classical first order logic
- model theoretic
- relational calculus
- logic programming
- default logic
- concept lattice
- sequent calculi
- cardinal directions
- qualitative spatial
- knowledge representation
- constraint networks
- logical theories
- relational algebra
- truth values
- knowledge base