Geodesic
Some properties of residuated lattices
Czechoslovak Mathematical Journal, Tome 53 (2003) no. 1, pp. 161-171
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

We investigate some (universal algebraic) properties of residuated lattices—algebras which play the role of structures of truth values of various systems of fuzzy logic.
We investigate some (universal algebraic) properties of residuated lattices—algebras which play the role of structures of truth values of various systems of fuzzy logic.
Classification : 03B52, 06F05, 08A30, 08A40, 08B05
Keywords: residuated lattice; fuzzy logic; variety; congruence 
@article{CMJ_2003_53_1_a12,
     author = {B\v{e}lohl\'avek, Radim},
     title = {Some properties of residuated lattices},
     journal = {Czechoslovak Mathematical Journal},
     pages = {161--171},
     year = {2003},
     volume = {53},
     number = {1},
     mrnumber = {1962006},
     zbl = {1014.03510},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMJ_2003_53_1_a12/}
}
TY  - JOUR
AU  - Bělohlávek, Radim
TI  - Some properties of residuated lattices
JO  - Czechoslovak Mathematical Journal
PY  - 2003
SP  - 161
EP  - 171
VL  - 53
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/CMJ_2003_53_1_a12/
LA  - en
ID  - CMJ_2003_53_1_a12
ER  - 
%0 Journal Article
%A Bělohlávek, Radim
%T Some properties of residuated lattices
%J Czechoslovak Mathematical Journal
%D 2003
%P 161-171
%V 53
%N 1
%U http://geodesic.mathdoc.fr/item/CMJ_2003_53_1_a12/
%G en
%F CMJ_2003_53_1_a12
Bělohlávek, Radim. Some properties of residuated lattices. Czechoslovak Mathematical Journal, Tome 53 (2003) no. 1, pp. 161-171. http://geodesic.mathdoc.fr/item/CMJ_2003_53_1_a12/

[1] R. Bělohlávek: On the regularity of MV-algebras and Wajsberg hoops. Algebra Universalis 44 (2000), 375–377. | DOI | MR

[2] G. Birkhoff: Lattice Theory, 3rd ed. AMS Colloq. Publ., vol. XXV. Providence, Rhode Island, 1967. | MR

[3] I. Chajda: Locally regular varieties. Acta Sci. Math. (Szeged) 64 (1998), 431–435. | MR | Zbl

[4] C. C. Chang: Algebraic analysis of many-valued logics. Trans. Amer. Math. Soc. 88 (1958), 467–490. | DOI | MR | Zbl

[5] C. C. Chang: A new proof of completeness of the Łukasiewicz axioms. Trans. Amer. Math. Soc. 93 (1959), 74–90. | MR

[6] R. Cignoli, I. M. L. D’Ottaviano and D. Mundici: Algebraic Foundations of Many-valued Reasoning. Kluwer, Dordrecht, 1999. | MR

[7] R. Cignoli, F. Esteva, L. Godo and A. Torrens: Basic fuzzy logic is the logic of continuous $t$-norms and their residua. Soft Computing 4 (2000), 106–112. | DOI

[8] B. Csákány: Characterizations of regular varieties. Acta Sci. Math. (Szeged) 31 (1970), 187–189. | MR

[9] R. P. Dilworth and M. Ward: Residuated lattices. Trans.  Amer. Math. Soc. 45 (1939), 335–354. | DOI | MR

[10] K. Fichtner: Eine Bemerkung über Mannigfaltigkeiten universeller Algebren mit Idealen. Monatsb. Deutsch. Akad. Wiss. Berlin 12 (1970), 21–25. | MR | Zbl

[11] J. Font, A. Rodriguez and A. Torrens: Wajsberg algebras. Stochastica 8 (1984), 5–31. | MR

[12] J. A. Goguen: The logic of inexact concepts. Synthese 19 (1968–69), 325–373. | DOI

[13] G. Grätzer: Two Mal’cev-type theorems in universal algebra. J. Comb. Theory 8 (1970), 334–342.

[14] P. Hájek: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht, 1998. | MR

[15] U. Höhle: Commutative residuated monoids. In: Non-classical logics and their applications to fuzzy subsets, U. Höhle, E. P. Klement (eds.), Kluwer, Dordrecht, 1995.

[16] U. Höhle: On the fundamentals of fuzzy set theory. J.  Math. Anal. Appl. 201 (1996), 786–826. | DOI | MR

[17] B. Jónsson: On the representation of lattices. Math. Scand. 2 (1953), 295–314.

[18] A. I. Mal’cev: On the general theory of algebraic systems. Matem. Sbornik 35 (1954), 3–20. (Russian)

[19] V. Novák, I. Perfilieva and J. Močkoř: Mathematical Principles of Fuzzy Logic. Kluwer, Dordrecht, 1999. | MR

[20] J. Pavelka: On fuzzy logic  I, II, III. Zeit. Math. Log. Grungl. Math. 25 (1979), 45–52, 119–134, 447–464. | MR

[21] A. Ursini: On subtractive varieties  I. Algebra Universalis 31 (1994), 204–222. | DOI | MR | Zbl

[22] R. Wille: Kongruenzklassengeometrien. Lecture Notes in Math. Springer-Verlag, Berlin-Heidelberg-New York, 1970. | MR