Completeness before Post: Bernays, Hilbert, and the development of propositional logic.

Published in: Bull. Symb. Log. (1999)

Keyphrases

propositional logic
belief revision
first order logic
possibilistic logic
proof procedure
lattice theory
quantified boolean formulae
knowledge based systems
search algorithm
fuzzy logic
belief change
davis putnam
valued logic
horn logic