Abstract
We introduce the notion of CFLew-algebras, which are bounded commutative integral residuated lattices equipped with an additional operation that mimics the composition of functions. We obtain and study some of the basic properties of CFLew-algebras. In particular, we characterize semi-divisible CFLew-algebras and prove that Boolean algebras are the only CFLew-algebras having sub-CFLew-algebras of order 4. Finally, we study the effect of the composition on the filters/congruences of CFLew-algebras and also investigate the usual constructions of subalgebras, quotient algebras, as well as related classes of filters.
The author is grateful to the referee for his/her careful reading and suggestion that improved the quality of the paper.
Communicated by Roberto Giuntini
References
[1] Běhounek, L.—Cintula, P.— Hájek, P.: Introduction to Mathematical Logic. In: Handbook of Mathematical Fuzzy Logic 1 (P. Cintula, P. Hájek, C. Noguera, eds.), 2001, pp. 1–92.Suche in Google Scholar
[2] Burris, S.—Shankapanavar, S.: A Course in Universal Algebra, Springer-Verlag, New York-Heidelberg-Berlin, 1981.Suche in Google Scholar
[3] Cignoli, R. L. O.—D’Ottaviano, I. M. L.—Mundici, D.: Algebraic Foundations of Many-valued Reasoning. Trends Log. Stud. Log. Libr., Kluwer, Dordrecht, 2000.10.1007/978-94-015-9480-6Suche in Google Scholar
[4] DI Nola, A.—Flondor, F.—Gerla, B.: Composition on MV-algebras, J. Algebra Appl. 5(4) (2006), 417–439.10.1142/S0219498806001818Suche in Google Scholar
[5] Halmos, P.: Naive Set Theory, Princeton, NJ: D. Van Nostrand Company, 1960.Suche in Google Scholar
[6] Hart, J. B.—Rafter, L.—Tsinakis, C.: The structure of commutative residuated lattices, Internat. J. Algebra Comput. 12(4) (2002), 509–524.10.1142/S0218196702001048Suche in Google Scholar
[7] Höhle, U.: Commutative, residuated 1-monoids. In: Non-Classical Logics and their Applications to Fuzzy Subsets, 1995, pp. 53–106.10.1007/978-94-011-0215-5_5Suche in Google Scholar
[8] Jipsen, P.—Tsinakis, C.: A survey of residuated lattices. In: Ordered Algebraic Structures (J. Martinez, ed.), Kluwer Academic Publishers, Dordrecht, 2002, pp. 19–56.10.1007/978-1-4757-3627-4_3Suche in Google Scholar
[9] Nganou, J. B.—Tebu, S. F.: Topological FLew-algebras, J. Appl. Logic 13(3) (2015), 259–269.10.1016/j.jal.2015.04.004Suche in Google Scholar
[10] Ono, H.: Substructural logics and residuated lattices: an introduction. In: Trends in Logic (V. F. Hendricks, J. Malinowski, eds.), Vol. 21, 2003, pp. 177–212.10.1007/978-94-017-3598-8_8Suche in Google Scholar
[11] Turunen, E.—Mertanen, J.: States on semi-divisible residuated lattices, Soft Comput. 12 (2008), 353–357.10.1007/s00500-007-0182-ySuche in Google Scholar
© 2024 Mathematical Institute Slovak Academy of Sciences
Artikel in diesem Heft
- Algebraic structures formalizing the logic of effect algebras incorporating time dimension
- Walks on tiled boards
- Composition on FLew-algebras
- On high power sums of a hybrid arithmetic function
- On indices of quintic number fields defined by x5 + ax + b
- Note on fundamental system of solutions to the differential equations (D2 − 2Dα + α2 ± β2) y = 0
- Several sharp inequalities involving (hyperbolic) tangent, tanc, cosine, and their reciprocals
- A new Approach of Generalized Fractional Integrals in Multiplicative Calculus and Related Hermite–Hadamard-Type Inequalities with Applications
- On a periodic problem for super-linear second-order ODEs
- Existence and Uniqueness of Solutions for Fractional Dynamic Equations with Impulse Effects
- Periodic Solutions for Conformable Non-autonomous Non-instantaneous Impulsive Differential Equations
- Self referred equations with an integral boundary condition
- Approximation by matrix means of double Vilenkin-Fourier series
- Maps on self-adjoint operators preserving some relations related to commutativity
- Chains in the Rudin-Frolík order
- Relative versions of first and second countability in hyperspaces
- Proportion estimation in multistage pair ranked set sampling
- The Marshall-Olkin Extended Gamma Lindley distribution: Properties, characterization and inference
Artikel in diesem Heft
- Algebraic structures formalizing the logic of effect algebras incorporating time dimension
- Walks on tiled boards
- Composition on FLew-algebras
- On high power sums of a hybrid arithmetic function
- On indices of quintic number fields defined by x5 + ax + b
- Note on fundamental system of solutions to the differential equations (D2 − 2Dα + α2 ± β2) y = 0
- Several sharp inequalities involving (hyperbolic) tangent, tanc, cosine, and their reciprocals
- A new Approach of Generalized Fractional Integrals in Multiplicative Calculus and Related Hermite–Hadamard-Type Inequalities with Applications
- On a periodic problem for super-linear second-order ODEs
- Existence and Uniqueness of Solutions for Fractional Dynamic Equations with Impulse Effects
- Periodic Solutions for Conformable Non-autonomous Non-instantaneous Impulsive Differential Equations
- Self referred equations with an integral boundary condition
- Approximation by matrix means of double Vilenkin-Fourier series
- Maps on self-adjoint operators preserving some relations related to commutativity
- Chains in the Rudin-Frolík order
- Relative versions of first and second countability in hyperspaces
- Proportion estimation in multistage pair ranked set sampling
- The Marshall-Olkin Extended Gamma Lindley distribution: Properties, characterization and inference