Visualization in propositional logic.

Nathalie Prevost Ray E. Jennings Loki Jörgenson F. David Fracchia

Published in: IEEE Computer Graphics and Applications (1996)

Keyphrases

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