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