Keyphrases
- sound and complete axiomatization
- multi valued
- deductive reasoning
- propositional logic
- proof procedure
- probabilistic logic
- propositional variables
- logic programming
- predicate calculus
- horn clauses
- general logic programs
- logical theories
- first order logic
- logical framework
- theorem proving
- set theory
- propositional theories
- classical first order logic
- classical logic
- autoepistemic logic
- computational properties
- neural network
- default logic
- knowledge base
- predicate logic
- truth maintenance systems
- modal logic
- temporal logic
- logic programs
- coalition logic
- description logics