Intuitionistic Propositional Logic with Only Equivalence Has No Interpolation.
Lex HendriksPublished in: J. Log. Comput. (1998)
Keyphrases
- propositional logic
- first order logic
- belief revision
- fuzzy set theory
- theorem prover
- quantified boolean formulae
- answer set semantics
- lattice theory
- possibilistic logic
- davis putnam
- satisfiability testing
- proof procedure
- propositional satisfiability
- propositional variables
- orders of magnitude
- classical logic
- horn logic