Login / Signup

Truth, falsehood, and contingency in first-order predicate calculus.

Charles G. Morgan
Published in: Notre Dame J. Formal Log. (1973)
Keyphrases
  • truth values
  • database
  • high level
  • pattern recognition
  • fuzzy sets
  • markov chain
  • valued logic