Login / Signup

Axiom Schemes for M-Valued Functional Calculi of First Order: Part I. Definition of Axiom Schemes and Proof of Plausibility.

J. Barkley RosserAtwell R. Turquette
Published in: J. Symb. Log. (1948)
Keyphrases
  • knowledge base
  • relational databases
  • machine learning
  • information systems
  • modal logic
  • inference rules
  • multi valued