A strong completeness theorem for 3-valued logic. II.

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

Keyphrases

valued logic
propositional logic
classical logic
fuzzy logic
fuzzy sets
first order logic
logic programs
truth values
multi valued
automated reasoning
datalog programs
logic programming
real time
machine learning
modal logic
decision theory