Classical propositional logic and decidability of variables in intuitionistic propositional logic.
Hajime IshiharaPublished in: Log. Methods Comput. Sci. (2014)
Keyphrases
- propositional logic
- propositional formulas
- belief revision
- propositional variables
- first order logic
- horn logic
- possibilistic logic
- propositional satisfiability
- valued logic
- lattice theory
- quantified boolean formulae
- satisfiability testing
- davis putnam
- natural language
- theorem prover
- belief update
- description logics