Weakly complete axiomatization of exogenous quantum propositional logic
Paulo MateusAmílcar SernadasPublished in: CoRR (2005)
Keyphrases
- propositional logic
- complete axiomatization
- first order logic
- belief revision
- quantified boolean formulae
- inclusion dependencies
- lattice theory
- possibilistic logic
- propositional satisfiability
- satisfiability testing
- davis putnam
- propositional formulas
- horn logic
- valued logic
- machine learning
- belief change
- description logics
- knowledge base