A proposed axiomatic system for Atanassov Intuitionistic Fuzzy Logic

Esfandiar Eslami, Farnaz Maroof
2013 Notes on Intuitionistic Fuzzy Sets   unpublished
In this paper, we continue our studies on Intuitionistic Fuzzy Residuated Lattices (IFRLs) defined in [11]. We investigate more properties of the implication operator of these symmetric residuated lattices. We observe that most axioms of the Basic Fuzzy Logic and Intu-itionistic Logic hold in Intuitionistic Fuzzy Residuated Lattices (IFRLs). Accepting these axioms together with the basic properties of operators, we propose an axiomatic system for Atanassov Intuitionistic Fuzzy Logic (A-IFL).
fatcat:uffzajw6ffgprfsbdw3qxoibn4