A topological characterization of consistency of logic theories in propositional logic.
Guo-Jun WangYan-Hong ShePublished in: Math. Log. Q. (2006)
Keyphrases
- propositional logic
- nonmonotonic logics
- lattice theory
- logical theories
- horn logic
- proof procedure
- possibilistic logic
- belief revision
- first order logic
- defeasible logic
- propositional variables
- quantified boolean formulae
- valued logic
- probability theory
- logical framework
- belief change
- propositional satisfiability
- minimal models
- predicate calculus
- classical logic
- mathematical morphology
- action theories
- logic programming
- propositional formulas
- predicate logic
- logic programs
- satisfiability testing
- multi valued
- search algorithm