Interpolation in Fragments of Intuitionistic Propositional Logic.

Gerard R. Renardel de Lavalette

Published in: J. Symb. Log. (1989)

Keyphrases

propositional logic
first order logic
belief revision
theorem prover
lattice theory
fuzzy set theory
quantified boolean formulae
logical framework
possibilistic logic
davis putnam
belief change
classical logic
expert systems
fuzzy numbers
propositional satisfiability
propositional formulas
np complete