Propositional logic in Juan de Santo Tomás.

Published in: Notre Dame J. Formal Log. (1963)

Keyphrases

propositional logic
first order logic
belief revision
possibilistic logic
quantified boolean formulae
proof procedure
lattice theory
solving hard
davis putnam
orders of magnitude
satisfiability testing
propositional satisfiability
horn logic
knowledge base
nonmonotonic reasoning
fuzzy logic
relational databases