A (nother) characterization of intuitionistic propositional logic.

Rosalie Iemhoff

Published in: Ann. Pure Appl. Log. (2001)

Keyphrases

propositional logic
first order logic
belief revision
possibilistic logic
linear logic
theorem prover
quantified boolean formulae
lattice theory
fuzzy numbers
logical framework
fuzzy set theory
proof procedure
propositional satisfiability
belief change
classical logic
propositional formulas
satisfiability testing