Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic.

Mojtaba Aghaei Mohammad Ardeshir

Published 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