Abstract
A continuous t-norm is a continuous map * from [0, 1]2 into [0, 1] such that \(\langle [0, 1], *, 1 \rangle\) is a commutative totally ordered monoid. Since the natural ordering on [0, 1] is a complete lattice ordering, each continuous t-norm induces naturally a residuation → and \(\langle [0, 1], *,\rightarrow, 1\rangle\) becomes a commutative naturally ordered residuated monoid, also called a hoop. The variety of basic hoops is precisely the variety generated by all algebras \(\langle [0, 1], *,\rightarrow, 1\rangle\) , where * is a continuous t-norm. In this paper we investigate the structure of the variety of basic hoops and some of its subvarieties. In particular we provide a complete description of the finite subdirectly irreducible basic hoops, and we show that the variety of basic hoops is generated as a quasivariety by its finite algebras. We extend these results to Hájek’s BL-algebras, and we give an alternative proof of the fact that the variety of BL-algebras is generated by all algebras arising from continuous t-norms on [0, 1] and their residua. The last part of the paper is devoted to the investigation of the subreducts of BL-algebras, of Gödel algebras and of product algebras.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Adillon R.J., Vérdu V. (1998) ‘On product logic’. Soft Computing 2, 141–146
Aglianò P., (1998) ‘Ternary deductive terms in residuated structures’, Acta Sci. Math. (Szeged) 64, 397–429
Aglianò P., Ursini A. (1997) ‘On subtractive varieties III: From ideals to congruences’. Algebra Universalis 37, 296–333
Amer K. (1984) ‘Equationally complete classes of commutative monoids with monus’. Algebra Universalis 18, 129–131
Blok W.J., Ferreirim I.M.A. (1993) ‘Hoops and their implicational reducts’ (abstract). Algebraic Methods in Logic and Computer Science, Banach Center Publications 28, 219–230
Blok W.J., Ferreirim I.M.A. (2000) ‘On the structure of hoops’. Algebra Universalis 43, 233–257
Blok W.J., Köhler P., Pigozzi D. (1984) ‘On the structure of varieties with equationally definable principal congruences II’. Algebra Universalis 18, 334–379
Blok W.J., Pigozzi D. (1982) ‘On the structure of varieties with equationally definable principal congruences I’. Algebra Universalis 15, 195–227
Blok, W.J., and D. Pigozzi, ‘Algebraizable logics’, vol. 77 (396), Mem. Amer. Math. Soc., Providence, 1989.
Blok W.J., Pigozzi D. (1994) ‘On the structure of varieties with equationally definable principal congruences III. Algebra Universalis 32, 545–608
Blok W.J., Raftery J. (1997) ‘Varieties of commutative residuated integral pomonoids and their residuation subreducts’. J. Algebra 190, 280–328
Bosbach B. (1969) ‘Komplementäre Halbgruppen. Axiomatik und Arithmetik’. Fund. Math. 64, 257–287
Chang C.C. (1958) ‘Algebraic analysis of many valued logics’. Trans. Amer. Math. Soc. 88, 467–490
Cignoli R., Esteva F., Godo L., Torrens A. (2000) ‘Basic fuzzy logic is the logic of continuous t-norms and their residua’. Soft Computing 4, 106–112
Cignoli R., Torrens A. (2000) ‘An algebraic analysis of product logic’. Mult.-Valued Log. 5, 45–65
Cornish, W.H., ‘A large variety of BCK-algebras’, Math. Japon. 26 (1981), 339–344.
Dummett, M., ‘A propositional calculus with denumerable matrix’, J. Symb. Logic 24 (1959), 97–106
Evans T., (1969) ‘Some connections between residual finiteness, finite embeddability and the word problem’. J. London Math. Soc. 1, 399–403
Ferreirim, I.M.A., On varieties and quasivarieties of hoops and their reducts, Ph.D. thesis, University of Illinois at Chicago, 1992.
Ferreirim, I.M.A., ‘On a conjecture by Andrzej Wroński for BCK-algebras and subreducts of hoops’, Sci. Math. Jpn. 53 (2001).
Fodor J.C. (1995) ‘Nilpotent minimum and related connectives for fuzzy logic’. Proc. IEEE International Conference on Fuzzy Systems 4, 2077–2082
Font, J.M., A.J. Rodriguez, and A. Torrens, ‘Wajsberg algebras’, Stochastica 8 (1984), 5–31.
Gumm H.P., Ursini A. (1984) ‘Ideals in universal algebra’. Algebra Universalis 19, 45–54
Hájek, P., Metamathematics of fuzzy logic, Trends in Logic—Studia Logica Library, no. 4, Kluwer Academic Publ., Dordrecht/ Boston/ London, 1998.
Hájek, P., L. Godo, and F. Esteva, ‘A complete many-valued logic with product conjunction’, Arch. Math. Logic 35 (1996), 191–208.
Harrop, R., ‘On the existence of finite models and decision procedures for propositional calculi’, Proc. Cambridge Philos. Soc. 58 (1958), 1–13.
Hecht, T., and T. Katrinák, ‘Equational classes of relative Stone algebras’, Notre Dame J. Formal Logic 13 (1972), 248–254.
Higgs D., (1984) ‘Dually residuated commutative monoids with identity element do not form an equational class’. Math. Japon. 29, 69–75
Horn A., (1962) ‘The separation theorem of Intuicionistic Propositional Calculus’. J. Symb. Log. 27, 391–399
Iséki K. (1966) ‘An algebra related with a propositional calculus’. Proc. Japan Acad. 42, 26–29
Köhler P. (1981) ‘Brouwerian semilattices’. Trans. Amer. Math. Soc. 268, 103–126
Komori Y. (1978) ‘Super-Łukasiewicz implicational logics’. Nagoya Math. J. 72, 127–133
Komori Y. (1981) ‘Super-Łukasiewicz propositional logics’. Nagoya Math. J. 84, 119–133
Kowalski T. (1994) ‘A syntactic proof of a conjecture of Andrzej Wroński’. Rep. Math. Logic 28, 81–86
Mostert, P.S., and A.L. Shields, ‘On the structure of semigroups on a compact manifold with boundary’, Ann. of Math. 65 (1957), 117–143.
Mundici D., (1986) ‘Interpretation of AFC*-algebras in Łukasiewicz sentential calculus’. J. Functional Analysis 65, 15–63
Nemitz W. (1969) ‘Semi-boolean lattices’. Notre Dame J. Formal Logic 10, 235– 238
Pałasiński, M., ‘Some remarks on BCK-algebras’, Math. Seminar Notes, Kobe Univ. 8 (1980), 137–144.
Pałasiński, M., ‘Ideals in BCK-algebras which are lower semilattices’, Math. Japon. 26 (1981), 245–250.
Raftery, J.G., On ideals, congruences and extensions of BCK-algebras, Ph.D. thesis, University of Natal, Durban, 1987.
Raftery, J.G., and T. Sturm, ‘On ideal and congruence lattices of BCKsemilattices’, Math. Japon. 32 (1987), 465–474.
Wroński A. (1983) ‘BCK-algebras do not form a variety’. Math. Japon. 28, 211– 213
Author information
Authors and Affiliations
Corresponding author
Additional information
Research partly supported by research projects Praxis 2/ 2.1/ MAT/73/94 “Álgebra e Matemáticas Discretas” and POCTI/0143/2003 “Fundamental and Applied Algebra”.
Rights and permissions
About this article
Cite this article
Aglianò, P., Ferreirim, I.M.A. & Montagna, F. Basic Hoops: an Algebraic Study of Continuous t-norms. Stud Logica 87, 73–98 (2007). https://doi.org/10.1007/s11225-007-9078-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-007-9078-1