论文信息 - On the law [p/spl and/q/spl rarr/r]=[(p/spl rarr/r)V(q/spl rarr/r)] in fuzzy logic

On the law [p/spl and/q/spl rarr/r]=[(p/spl rarr/r)V(q/spl rarr/r)] in fuzzy logic

This paper deals with the logical equivalence of the classical propositional calculus [p/spl and/q/spl rarr/r]=[(p/spl rarr/r)V(q/spl rarr/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.

E. Trillas | C. Alsina

[1] Mark Kormes,et al. ON THE FUNCTIONAL EQUATION , 2007 .

[2] Karl Menger,et al. A Logic of the Doubtful on Optative and Imperative Logic , 1979 .

[3] Hung T. Nguyen,et al. A First Course in Fuzzy Logic , 1996 .

[4] E. Trillas,et al. A few remarks on some T-conditional functions , 1997, Proceedings of 6th International Fuzzy Systems Conference.

[5] E. Trillas,et al. On a mathematical model for indicative conditionals , 1997, Proceedings of 6th International Fuzzy Systems Conference.

[6] James E. Andrews,et al. Combinatorial rule explosion eliminated by a fuzzy rule configuration , 1998, IEEE Trans. Fuzzy Syst..

[7] Jerry M. Mendel,et al. Comments on "William E. Combs: Combinatorial rule explosion eliminated by a fuzzy rule configuration" [and reply] , 1999, IEEE Trans. Fuzzy Syst..

[8] J. Mendel,et al. Comments on "Combinatorial rule explosion eliminated by a fuzzy rule configuration" [with reply] , 1999 .

[9] E. Trillas,et al. When QM‐operators are implication functions and conditional fuzzy relations , 2000 .

[10] E. Trillas,et al. On Modus Ponens Generating Functions , 2000, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[11] Adolfo R. de Soto,et al. A glance at implication and T-conditional functions , 2000 .

[12] Enric Trillas,et al. On the Functional Equation S 1 ( x, y ) = S 2 ( x , T ( N ( x ), y )) , 2002 .