Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- first order logic
- deductive reasoning
- predicate calculus
- logic programming
- horn clauses
- propositional logic
- proof procedure
- classical first order logic
- autoepistemic logic
- modal logic
- logic programs
- general logic programs
- automated reasoning
- logical theories
- truth maintenance systems
- classical logic
- defeasible logic
- propositional variables
- propositional theories
- deontic logic
- prime implicates
- situation calculus
- inference mechanism
- set theory