Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.
George VoutsadakisPublished in: Arch. Math. Log. (2005)
Keyphrases
- first order logic
- expressive power
- predicate calculus
- set theory
- logical formulas
- proof procedure
- theorem proving
- horn clauses
- propositional logic
- inference rules
- theorem prover
- quantifier free
- probabilistic reasoning
- classical first order logic
- knowledge representation
- logical rules
- transitive closure
- function symbols
- markov networks
- representation language
- probabilistic graphical models
- inductive logic programming
- relational algebra
- relational structures
- markov logic
- background knowledge
- maximum likelihood
- search algorithm
- quantifier elimination
- logic programming
- database