A Note on the Deductive Completeness of M-Valued Propositional Calculi.
J. Barkley RosserAtwell R. TurquettePublished in: J. Symb. Log. (1949)
Keyphrases
- deductive reasoning
- multi valued
- propositional logic
- first order logic
- neural network
- database systems
- object oriented
- default logic
- explanation based learning
- sequent calculi
- hypothesis formation
- sound and complete axiomatization
- data sets
- qualitative spatial and temporal reasoning
- satisfiability testing
- valued logic
- statistical relational learning
- horn clauses