An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation.

Published in: Fuzzy Sets Syst. (1999)

Keyphrases

modal logic
truth values
fuzzy relations
linearly ordered
fuzzy sets
similarity measure
fuzzy set theory
default logic
propositional logic
semantic similarity
multi valued
horn clauses
distance measure
similarity function
aggregation functions
propositional variables
knowledge representation