The hilbert type axiomatization of some three-valued propositional logic.
Andrzej ZbrzeznyPublished in: Math. Log. Q. (1990)
Keyphrases
- propositional logic
- nonmonotonic logics
- belief revision
- first order logic
- possibilistic logic
- lattice theory
- quantified boolean formulae
- proof procedure
- davis putnam
- propositional satisfiability
- belief change
- nonmonotonic reasoning
- domain knowledge
- propositional formulas
- truth maintenance systems
- np hard
- artificial intelligence