Every functionally complete m-valued logic has a Post-complete axiomatization.

Nuel Belnap Storrs McCall

Published in: Notre Dame J. Formal Log. (1970)

Keyphrases

valued logic
complete axiomatization
classical logic
propositional logic
machine learning
neural network
data mining
artificial intelligence
first order logic
automated reasoning