Propositional primal logic with disjunction.
Lev D. BeklemishevYuri GurevichPublished in: J. Log. Comput. (2014)
Keyphrases
- sound and complete axiomatization
- multi valued
- horn clauses
- propositional logic
- probabilistic logic
- deductive reasoning
- linear program
- predicate calculus
- linear programming
- modal logic
- first order logic
- general logic programs
- proof procedure
- objective function
- autoepistemic logic
- logic programming
- propositional variables
- nonmonotonic logics
- default logic
- classical logic
- support vector
- dual formulation
- belief revision
- fixpoint semantics
- logical theories
- logic programs
- nonmonotonic reasoning
- semantics of logic programs