Login / Signup
Computations in Fragments of Intuitionistic Propositional Logic.
Dick De Jongh
Lex Hendriks
Gerard R. Renardel de Lavalette
Published in:
J. Autom. Reason. (1991)
Keyphrases
</>
propositional logic
first order logic
belief revision
theorem prover
possibilistic logic
fuzzy set theory
propositional satisfiability
lattice theory
fuzzy numbers
belief change
quantified boolean formulae
fuzzy logic
rough sets
davis putnam