Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts

In this paper, we show that free algebras in the variety of residuated lattices and some of its subvarieties are directly indecomposable and show, as a consequence, the direct indecomposability of free algebras for some classes of their bounded implicative subreducts.

[1]  Daisuke Souma.  An Algebraic Approach to the Disjunction Property of Substructural Logics , 2007, Notre Dame J. Formal Log..

[2]  George Gratzer,et al.  Universal Algebra , 1979 .

[3]  Hiroakira Ono,et al.  Logics without the contraction rule , 1985, Journal of Symbolic Logic.

[4]  Peter Jipsen,et al.  Residuated lattices: An algebraic glimpse at sub-structural logics , 2007 .

[5]  Lluis Godo,et al.  Monoidal t-norm based logic: towards a logic for left-continuous t-norms , 2001, Fuzzy Sets Syst..

[6]  Antoni Torrens Torrell,et al.  Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic , 2003, Arch. Math. Log..

[7]  Antoni Torrens Torrell,et al.  Boolean representation of bounded BCK-algebras , 2008, Soft Comput..

[8]  Ulrich Höhle,et al.  Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory , 1995 .

[9]  Tomasz Kowalski,et al.  The Variety of Residuated Lattices is Generated by its Finite Simple Members , 2000, Reports Math. Log..

[10]  U. Höhle.  Commutative, residuated 1—monoids , 1995 .

[11]  A. Monteiro.  Sur les algèbres de Heyting symétriques , 1980 .

[12]  V. N. Grisin.  PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS , 1982 .

[13]  Franco Montagna,et al.  Basic Hoops: an Algebraic Study of Continuous t-norms , 2007, Stud Logica.

[14]  Antoni Torrens Torrell,et al.  Glivenko like theorems in natural expansions of BCK-logic , 2004, Math. Log. Q..

[15]  A. Wronski.  BCK-algebras do not form a variety , 1983 .