Skip to main content
Log in

On some subvarieties of IMTn-algebras and the partitions of the m-cube

  • Published:
Algebra universalis Aims and scope Submit manuscript

Abstract

The aim of this paper is to study the variety \({\mathbb{IMT}n}\) and some of its subvarieties. After proving some general properties of IMTn-chains, we characterize IMT4-chains and we provide a complete description of some subvarieties of \({\mathbb{IMT}4}\). We establish a relationship between totally symmetric partitions of the m-cube and IMT4-chains, and as a consequence of this relationship, we give a procedure to construct all finite IMT4-chains.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Esteva F., Gispert J., Godo L., Montagna F.: On the standard and rational completeness of some axiomatic extensions of monoidal t-norm based logic. Studia Logica 71, 199–226 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  2. Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy logic (Palma, 1999/Liptovský Ján, 2000). Fuzzy Sets and Systems 124, 271–288 (2001)

  3. Esteva F., Godo L., Montagna F.: Equational characterization of the subvarieties of BL generated by t-norm algebras. Studia Logica 76, 161–200 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  4. Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices. An Algebraic Glimpse at Substructural Logics, Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier, Amsterdam (2007)

  5. Gispert J., Torrens A.: Axiomatic Extensions of IMT3 Logic. Studia Logica 81, 311–324 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  6. Horčík, R., Noguera, C., Petrík, M.: On n-contractive fuzzy logics. MLQ Math. Log. Q. 53, 268–288 (2007)

  7. Komori Y.: Super Łukasiewicz propositional logics. Nagoya Math. J. 84, 119–133 (1981)

    MATH  MathSciNet  Google Scholar 

  8. Kowalski T.: Semisimplicity, EDPC and discriminator varieties of residuated lattices. Studia Logica 77, 255–265 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  9. Kowalski, T., Ono, H.: Residuated lattices: an algebraic glimpse at logics without contraction. Japan Advanced Institut of Science and Technology (2001)

  10. Noguera, C.: Algebraic study of axiomatic extensions of triangular norm based fuzzy logics. PhD thesis, Monografies de l’Institut d’Investigació en Intel·ligència Artificial vol. 27, Barcelona (2007)

  11. Noguera C., Esteva F., Gispert J.: Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Arch. Math. Logic 44, 869–886 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  12. Noguera C., Esteva F., Gispert J.: On some varieties of MTL-algebras. Log. J. IGPL 13, 443–466 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  13. Stembridge J.: The enumeration of totally symmetric plane partitions. Adv. Math. 111, 227–243 (1995)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Juan M. Cornejo.

Additional information

Presented by C. Tsinakis.

The support of CONICET is gratefully acknowledged by the first author.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Cornejo, J.M., Rueda, L.A. On some subvarieties of IMTn-algebras and the partitions of the m-cube. Algebra Univers. 73, 23–42 (2015). https://doi.org/10.1007/s00012-014-0312-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00012-014-0312-1

2010 Mathematics Subject Classification

Key words and phrases

Navigation