Propositional proof compressions and DNF logic.
Lew GordeevEdward Hermann HaeuslerLuiz Carlos PereiraPublished in: Log. J. IGPL (2011)
Keyphrases
- proof procedure
- classical first order logic
- multi valued
- proof theory
- sound and complete axiomatization
- logic programming
- theorem proving
- first order logic
- natural deduction
- proof theoretic
- boolean functions
- propositional logic
- linear logic
- proof search
- probabilistic logic
- dynamic logic
- theorem prover
- predicate calculus
- deductive reasoning
- autoepistemic logic
- learning theory
- nonmonotonic reasoning
- automated reasoning
- horn clauses
- automated theorem proving
- uniform distribution
- logical rules
- membership queries
- default logic
- learning algorithm
- general logic programs
- propositional variables
- sequent calculi
- classical logic
- cut elimination
- boolean formula
- higher order logic
- logic programs
- sequent calculus
- propositional theories
- disjunctive normal form
- truth values
- inference rules
- knowledge representation