A New Continuous Propositional Logic.

Riccardo Poli Mark Ryan Aaron Sloman

Published in: EPIA (1995)

Keyphrases

propositional logic
belief revision
first order logic
possibilistic logic
satisfiability testing
quantified boolean formulae
lattice theory
belief change
solving hard
davis putnam