On second order intuitionistic propositional logic without a universal quantifier.

Konrad Zdanowski

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

Keyphrases

propositional logic
first order logic
belief revision
theorem prover
satisfiability testing
quantified boolean formulae
fuzzy set theory
possibilistic logic
lattice theory
davis putnam
horn logic
classical logic
belief change
proof procedure
natural deduction
multi valued
fuzzy numbers
knowledge base