Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic.
Mojtaba AghaeiMohammad ArdeshirPublished in: Stud Logica (2001)
Keyphrases
- propositional logic
- belief revision
- first order logic
- truth maintenance systems
- quantified boolean formulae
- satisfiability testing
- possibilistic logic
- horn clauses
- lattice theory
- propositional satisfiability
- horn logic
- davis putnam
- nonmonotonic logics
- decision procedures
- belief change
- propositional formulas
- default theories
- nonmonotonic reasoning
- default logic