A note on decidability of variables in intuitionistic propositional logic.
Katsumasa IshiiPublished in: Math. Log. Q. (2018)
Keyphrases
- propositional logic
- propositional variables
- propositional formulas
- first order logic
- belief revision
- quantified boolean formulae
- possibilistic logic
- lattice theory
- proof procedure
- fuzzy set theory
- expressive power
- description logics
- belief change
- fuzzy numbers
- query answering
- satisfiability testing
- classical logic
- knowledge representation
- propositional satisfiability