On The Admissible Rules of Intuitionistic Propositional Logic.
Rosalie IemhoffPublished in: J. Symb. Log. (2001)
Keyphrases
- propositional logic
- multi context systems
- first order logic
- belief revision
- possibilistic logic
- lattice theory
- theorem prover
- answer set semantics
- quantified boolean formulae
- proof procedure
- propositional satisfiability
- function free horn
- horn logic
- davis putnam
- linear logic
- propositional formulas
- valued logic
- satisfiability testing
- state space
- knowledge representation
- classical logic
- logical framework
- fuzzy set theory
- belief change
- production rules
- inference rules
- artificial intelligence