DocumentCode
1251022
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
Volume
10
Issue
1
fYear
2002
fDate
2/1/2002 12:00:00 AM
Firstpage
84
Lastpage
88
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;
fLanguage
English
Journal_Title
Fuzzy Systems, IEEE Transactions on
Publisher
ieee
ISSN
1063-6706
Type
jour
DOI
10.1109/91.983281
Filename
983281
Link To Document