The Symmetry Rule in Propositional Logic.

Alasdair Urquhart

Published in: Discret. Appl. Math. (1999)

Keyphrases

propositional logic
first order logic
belief revision
quantified boolean formulae
lattice theory
possibilistic logic
satisfiability testing
belief change
davis putnam
knowledge base
proof procedure
valued logic
machine learning
production rules