A Schemata Calculus for Propositional Logic.

Vincent Aravantinos Ricardo Caferra Nicolas Peltier

Published in: TABLEAUX (2009)

Keyphrases

propositional logic
proof procedure
first order logic
belief revision
lattice theory
possibilistic logic
davis putnam
quantified boolean formulae
functional dependencies
propositional satisfiability
minimal models
valued logic
machine learning
search space
fuzzy sets
horn logic