ویراساینس.
سند علمی

Minimal Varieties of Representable Commutative Residuated Lattices

Rostislav Horcík

چکیده

We solve several open problems on the cardinality of atoms in the subvariety lattice of residuated lattices and FL-algebras [4, Problems 17–19, pp. 437]. Namely, we prove that the subvariety lattice of residuated lattices contains continuum many 4-potent commutative representable atoms. Analogous results apply also to atoms in the subvariety lattice of FLi-algebras and FLo-algebras. On the other hand, we show that the subvariety lattice of residuated lattices contains only five 3-potent commutative representable atoms and two integral commutative representable atoms. Inspired by the construction of atoms, we are also able to prove that the variety of integral commutative representable residuated lattices is generated by its 1-generated finite members.

اسناد مشابه

  • A . M . Wille Minimal Varieties of Involutive Residuated Lattices

    سند علمی۲۰۰۶Willem Johannes Blok, C. Tsinakis, A. M. Wille

    We establish the existence uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices. The proof utilizes a construction used in the proof of the corresponding result for residuated lattices and is based on the fact that every residuated lat

  • Representable Idempotent Commutative Residuated Lattices

    سند علمی۲۰۰۷J. G. RAFTERY

    It is proved that the variety of representable idempotent commutative residuated lattices is locally finite. The n-generated subdirectly irreducible algebras in this variety are shown to have at most 3n+1 elements each. A constructive characterization of the subdirectly irreducib

  • Non-commutative Residuated Lattices*

    سند علمی۲۰۱۰R. P. DILWORTH

    Introduction and summary. In the theory of non-commutative rings certain distinguished subrings, one-sided and two-sided ideals, play the important roles. Ideals combine under crosscut, union and multiplication and hence are an instance of a lattice over which a non-commutative m

  • fuzzy convex subalgebras of commutative residuated lattices

    مقاله۲۰۱۰iranian journal of fuzzy systemsshokoofeh ghorbani, abbas hasankhani

    in this paper, we define the notions of fuzzy congruence relations and fuzzy convex subalgebras on a commutative residuated lattice and we obtain some related results. in particular, we will show that there exists a one to one correspondence between the set of all fuzzy congruenc

  • FUZZY CONVEX SUBALGEBRAS OF COMMUTATIVE RESIDUATED LATTICES

    مقاله۲۰۱۰Iranian Journal of Fuzzy SystemsShokoofeh Ghorbani, Abbas Hasankhani

    In this paper, we define the notions of fuzzy congruence relations and fuzzy convex subalgebras on a commutative residuated lattice and we obtain some related results. In particular, we will show that there exists a one to one correspondence between the set of all fuzzy congruenc

  • Minimal subvarieties of involutive residuated lattices

    سند علمی۲۰۰۶Studia LogicaDaisuke Souma

    It is known that classical logic CL is the single maximal consistent logic over intuitionistic logic Int, which is moreover the single one even over the substructural logic FLew. On the other hand, if we consider maximal consistent logics over a weaker logic, there may be uncount