Bolzano's propositional logic.

Yehoshua Bar-Hillel

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

Keyphrases

propositional logic
belief revision
first order logic
quantified boolean formulae
possibilistic logic
proof procedure
belief change
satisfiability testing
solving hard
davis putnam
propositional satisfiability
constraint satisfaction problems
horn logic