Axiom Schemes for M-Valued Functional Calculi of First Order: Part II. Deductive Completeness.

J. Barkley Rosser Atwell R. Turquette

Published in: J. Symb. Log. (1951)

Keyphrases

first order logic
higher order
object oriented
inference rules
valued logic
modal logic
functional analysis
deductive reasoning
quantifier elimination
database
explanation based learning
horn clauses
conditional logic
stochastic dominance