Multi-Interval Truth Valued Logic.

Noboru Takagi Hiroaki Kikuchi Kyoichi Nakashima

Published in: FUZZ-IEEE (2001)

Keyphrases

valued logic
propositional logic
classical logic
truth values
fuzzy logic
fuzzy sets
first order logic
multi valued
logic programs
automated reasoning
logic programming
stable models
datalog programs
high level
rough sets