Title :
On the law [p∧q→r]=[(p→r)V(q→r)] in fuzzy logic
Author :
Trillas, E. ; Alsina, C.
Author_Institution :
Departamento de Inteligencia Artificial, Univ. Politecnica de Madrid, Spain
fDate :
2/1/2002 12:00:00 AM
Abstract :
This paper deals with the logical equivalence of the classical propositional calculus [p∧q→r]=[(p→r)V(q→r)]. This equality seems to play a central role in a recent discussion around a paper of Combs and Andrews (1998). After reconsidering the equivalence in lattices, its validity in the standard theories of fuzzy sets endowed with an implication operator is studied
Keywords :
calculus; fuzzy logic; classical propositional calculus; fuzzy logic; fuzzy sets; implication operator; logical equivalence; Adaptive control; Automatic control; Control systems; Fuzzy control; Fuzzy logic; Fuzzy systems; Nonlinear control systems; Programmable control; Rivers; Robots;
Journal_Title :
Fuzzy Systems, IEEE Transactions on
