Login / Signup

A generalised propositional calculus.

Peter Jablon
Published in: Notre Dame J. Formal Log. (1975)
Keyphrases
  • propositional calculus
  • knowledge representation