New Boolean Multivalued Logic System Simplifying Inferences in Flexible Styles.

Asami Sasaki Kujira Suzuki Kin-ya Sugimoto Hisashi Suzuki

Published in: ICSEng (2011)

Keyphrases

multi valued
single valued
boolean logic
boolean functions
real valued
truth values
truth table
automated reasoning
databases
classical logic
modal logic
lightweight
decision trees
database
probabilistic logic
computational properties
data dependencies
predicate logic
normal form
proof theory