Login / Signup
Soundness and Completeness of a 4-Valued Bipolar Logic.
Wen-Ran Zhang
Lulu Zhang
Published in:
J. Multiple Valued Log. Soft Comput. (2003)
Keyphrases
</>
multi valued
logic programming
valued semantics
classical logic
valued logic
positive and negative
automated reasoning
proof theory
high density
multi agent
database
decision trees
probabilistic logic
information systems
digital circuits
formal language
social networks
data mining
deductive reasoning
data sets