Doing logic b computer: interpolation in fragments ofinstuitionistic propositional logic.
Lex HendriksPublished in: Ann. Pure Appl. Log. (2000)
Keyphrases
- propositional logic
- nonmonotonic logics
- lattice theory
- horn logic
- proof procedure
- possibilistic logic
- belief revision
- valued logic
- first order logic
- quantified boolean formulae
- belief change
- truth maintenance systems
- minimal models
- classical logic
- propositional variables
- logic programming
- propositional satisfiability
- modal logic
- artificial intelligence
- davis putnam
- satisfiability testing
- propositional formulas
- logical theories