Axiom Schemes for M-Valued Propositional Calculi.

J. Barkley Rosser Atwell R. Turquette

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

Keyphrases

multi valued
propositional logic
first order logic
inference rules
data sets
information systems
default logic
probabilistic logic