Propositional logic of continuous transformations in Cantor space.

Grigori Mints Ting Zhang

Published in: Arch. Math. Log. (2005)

Keyphrases

propositional logic
belief revision
first order logic
possibilistic logic
lattice theory
davis putnam
propositional satisfiability
quantified boolean formulae
search space
machine learning
np hard
orders of magnitude
proof procedure
satisfiability testing