Functional completeness, axiomatizability within Belnap's four valued logic and its expansions.

Alexej P. Pynko

Published in: J. Appl. Non Class. Logics (1999)

Keyphrases

valued logic
classical logic
propositional logic
fuzzy sets
fuzzy logic
logic programs
truth values
first order logic
automated reasoning
multi valued
databases
expressive power
modal logic
logic programming
theorem proving
rough sets
general purpose
probability distribution
data analysis