A strong completeness theorem for 3-valued logic.

Harold Goldberg Hugues Leblanc George Weaver

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

Keyphrases

valued logic
classical logic
propositional logic
fuzzy logic
fuzzy sets
first order logic
logic programs
multi valued
truth values
stable models
query language
datalog programs
software engineering
logic programming
real time
modal logic
decision making
machine learning