Login / Signup

Combinatory and propositional logic.

David Meredith
Published in: Notre Dame J. Formal Log. (1974)
Keyphrases
  • propositional logic
  • belief revision
  • first order logic
  • possibilistic logic
  • solving hard
  • davis putnam
  • quantified boolean formulae
  • domain knowledge
  • lattice theory
  • proof procedure
  • horn logic