The Decidability of Dependency in Intuitionistic Propositional Logic.
Dick De JonghL. A. ChagrovaPublished in: J. Symb. Log. (1995)
Keyphrases
- propositional logic
- first order logic
- theorem prover
- belief revision
- description logics
- fuzzy set theory
- query answering
- possibilistic logic
- quantified boolean formulae
- davis putnam
- propositional satisfiability
- classical logic
- fuzzy numbers
- logical framework
- decision procedures
- lattice theory
- satisfiability testing
- belief change
- proof procedure
- artificial intelligence