Abstract
In this paper, we introduce the notion of monadic L-algebras and we study properties of these new structures. We define and investigate the monadic ideals of a monadic L-algebra, and we characterize the monadic ideal generated by a subset of a monadic L-algebra. We define the existential and universal quantifiers on semiregular L-algebras with negation, and we investigate certain properties of these structures. In this sense, we prove that there exists a one to one correspondence between existential and universal quantifiers. We show that any pair of strict quantifiers on a semiregular L-algebra with negation is a monadic operator.
( Communicated by Anatolij Dvurečenskij )
Acknowledgement
The author is very grateful to the anonymous referees for their useful remarks and suggestions on the subject that helped improving the presentation.
References
[1] Abad, M.: Estructuras cíclica y monádica de un álgebra de Łukasiewicz, Ph.D. Thesis, Notas de Lógica Matemática, vol. 36, Universidad Nacional del Sur, Instituto de Matemática, Bahía Blanca, 1988, viii+124.Search in Google Scholar
[2] Bezhanishvili, G.: Varieties of monadic Heyting algebras I, Stud. Log. 61 (1998), 367–402.10.1023/A:1005073905902Search in Google Scholar
[3] Bosbach, B.: Komplementäre Halbgruppen. Axiomatik und Aritmetik, Fund. Math. 64 (1969), 257–287.10.4064/fm-64-3-257-287Search in Google Scholar
[4] Bosbach, B.: Concerning cone algebras, Algebra Universalis 15 (1982), 58–66.10.1007/BF02483708Search in Google Scholar
[5] Castaño, D.—Cimadamore, C.—Díaz Varela, J. P.–Rueda, L.: Monadic BL-algebras: The equivalent algebraic semantics of H ájek’s monadic fuzzy logic, Fuzzy Sets and Systems 320 (2017), 40–59.10.1016/j.fss.2016.12.007Search in Google Scholar
[6] Chajda, I.–Kolaříc, M.: Monadic basic algebras, Acta Univ. Palacki. Olomuc., Fac. Rer. Nat. Mathematica 47 (2008), 27–36.Search in Google Scholar
[7] Cimadamore, C.—Díaz Varela, J. P.: Monadic MV-algebras I: a study of subvarieties, Algebra Universalis 71 (2014), 71–100.10.1007/s00012-014-0266-3Search in Google Scholar
[8] Cimadamore, C.—Díaz Varela, J. P.: Monadic Wajsberg hoops, Rev. Un. Mat. Argentina 57 (2016), 63–83.Search in Google Scholar
[9] Ciungu, L. C.: Non-commutative Multiple-Valued Logic Algebras, Springer, Cham, Heidelberg, New York, Dordrecht, London, 2014.10.1007/978-3-319-01589-7Search in Google Scholar
[10] Ciungu, L. C.: Monadic pseudo BE-algebras, Math. Slovaca 70 (2020), 1013–1040.10.1515/ms-2017-0411Search in Google Scholar
[11] Ciungu, L. C.: Monadic classes of quantum B-algebras, Soft Comput. 25 (2021), 1–14.10.1007/s00500-020-05404-7Search in Google Scholar
[12] Ciungu, L. C.: Results in L-algebras, Algebra Universalis 82(1) (2021), Art. No. 7.10.1007/s00012-020-00695-1Search in Google Scholar
[13] Di Nola, A.—Grigolia, R.: On monadic MV-algebras, Ann. Pure Appl. Logic 128 (2004), 125–139.10.1016/j.apal.2003.11.031Search in Google Scholar
[14] Drăgulici, D. D.: Quantifiers on BL-algebras, An. Univ. Bucur., Mat. Inform. 50 (2001), 29–42.Search in Google Scholar
[15] Drăgulici, D. D.: Polyadic BL-algebras. A representation theorem, J. Mult.-Valued Log. Soft Comput. 16 (2010), 265–302.Search in Google Scholar
[16] Galatos, N.—Jipsen, P.—Kowalski, T.—Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Elsevier, New York, 2007.Search in Google Scholar
[17] Georgescu, G.—IORGULESCU, A.: Pseudo MV-algebras, Mult.-Valued Logic 6 (2001), 95–135.Search in Google Scholar
[18] Ghorbani, S.: Monadic pseudo-equality algebras, Soft Comput. 23 (2019), 12937–12950.10.1007/s00500-019-04243-5Search in Google Scholar
[19] Grigolia, R.: Monadic BL-algebras, Georgian Math. J. 13 (2006), 267–276.10.1515/GMJ.2006.267Search in Google Scholar
[20] Hájek, P.: Metamathematics of Fuzzy Logic, Kluwer Acad. Publ., Dordrecht, 1998.10.1007/978-94-011-5300-3Search in Google Scholar
[21] Halmos, P.R.: Algebraic logic. I. Monadic Boolean algebras, Compos. Math. 12 (1956), 217–249.Search in Google Scholar
[22] Hua, X. J.: State L-algebras and derivations of L-algebras, Soft Comput. 25 (2021), 4201–4212.10.1007/s00500-021-05651-2Search in Google Scholar
[23] Iorgulescu, A.: Classes of BCK-algebras - Part III, Preprint Series of the Institute of Mathematics of the Romanian Academy 3(2004), 1–42.Search in Google Scholar
[24] Kondo, M.: On residuated lattices with universal quantifiers, Bull. Iranian Math. Soc. 41 (2015), 923–929.Search in Google Scholar
[25] Monteiro, A.—VARSAVSKY, O.: Álgebras de Heyting monádicas, Actas de las X Jornadas de la Unión Matemática Argentina, Bahía Blanca, 1957, 52–62.Search in Google Scholar
[26] Rachůnek, J.: A non-commutative generalization of MV-algebras, Czechoslovak Math. J. 52 (2002), 255–273.10.1023/A:1021766309509Search in Google Scholar
[27] Rachůnek, J.—ŠAlounová, D.: Monadic bounded commutative residuated ℓ-monoids, Order 25 (2008), 157–175.10.1007/s11083-008-9088-2Search in Google Scholar
[28] Rachůnek, J.—ŠAlounová, D.: Monadic GMV-algebras, Arch. Math. Logic 47 (2008), 277–297.10.1007/s00153-008-0086-2Search in Google Scholar
[29] Rachůnek, J.—ŠAlounová, D.: Monadic bounded residuated lattices, Order 30 (2013), 195–210.10.1007/s11083-011-9236-ySearch in Google Scholar
[30] Rutledge, J. D.: A Preliminary Investigation of the Infinitely-Many-Valued Predicate Calculus, Ph.D. Thesis, Cornell University, 1959, 112 pp.Search in Google Scholar
[31] Rump, W.: A decomposition theorem for square-free unitary solutions of the quantum Yang –Baxter equations, Adv. Math. 193 (2005), 40–55.10.1016/j.aim.2004.03.019Search in Google Scholar
[32] RUMP, W.: L-algebras, self-similarity, and ℓ-groups, J. Algebra 320 (2008), 2328–2348.10.1016/j.jalgebra.2008.05.033Search in Google Scholar
[33] Rump, W.—c, Y.: Intervals in ℓ-groups as L-algebras, Algebra Universalis 67 (2012), 121–130.10.1007/s00012-012-0172-5Search in Google Scholar
[34] Rump, W.: Right ℓ-groups, geometric Garside groups, and solutions of the quantum Yang –Baxter equation, J. Algebra 439 (2015), 470–510.10.1016/j.jalgebra.2015.04.045Search in Google Scholar
[35] Rump, W.: The structure group of an L-algebra is torsion-free, J. Group Theory 20 (2017), 309–324.10.1515/jgth-2016-0037Search in Google Scholar
[36] Rump, W.: The L-algebra of Hurwitz primes, J. Number Theory 190 (2018), 394–413.10.1016/j.jnt.2018.03.004Search in Google Scholar
[37] Rump, W.: Von Neumann algebras, L-algebras, Baer*-monoids, and Garside groups, Forum Math. 30 (2018), 973–995.10.1515/forum-2017-0108Search in Google Scholar
[38] Rump, W.: The structure group of a generalized orthomodular lattice, Stud. Logica 106 (2018), 85–100.10.1007/s11225-017-9726-zSearch in Google Scholar
[39] Subrahmanyam, N. V.: Bricks and pseudo MV-algebras are equivalent, Math. Slovaca 58 (2008), 131–142.10.2478/s12175-008-0061-8Search in Google Scholar
[40] Wang, J.—Xin, X.—He, P.: Monadic bounded hoops, Soft Comput. 22 (2018), 1749–1762.10.1007/s00500-017-2648-xSearch in Google Scholar
[41] Wang, J.—Xin, X.—He, P.: Monadic NM-algebras, Log. J. IGPL 27(6) (2019), 812–835.10.1093/jigpal/jzz005Search in Google Scholar
[42] Wu, Y.—Wang, J.—YANG, Y.: Lattice-ordered effect algebras and L-algebras, Fuzzy Sets and Systems 369 (2019), 103–113.10.1016/j.fss.2018.08.013Search in Google Scholar
[43] Wu, Y.—Yang, Y.: Orthomodular lattices as L-algebras, Soft Comput. 24 (2020), 14391–14400.10.1007/s00500-020-05242-7Search in Google Scholar
[44] Yang, Y.—Rump, W.: Pseudo-MV algebras as L-algebras, J. Mult.-Valued Logic Soft Comput. 19 (2012), 621–632.Search in Google Scholar
[45] Zaheriani, S. Y.—Zahiri, O.: Monadic BE-algebras, J. Intell. Fuzzy Syst. 27 (2014), 2987–2995.10.3233/IFS-141257Search in Google Scholar
© 2022 Mathematical Institute Slovak Academy of Sciences
Articles in the same Issue
- Prof. RNDr. Július korbaš, CSC. passed away
- Kalmbach measurability In d0-algebras
- Quantifiers on L-algebras
- Ideals of functions with compact support in the integer-valued case
- An algebraic study of the logic S5’(BL)
- Triangular numbers and generalized fibonacci polynomial
- A general matrix series inversion pair and associated polynomials
- Quantum ostrowski type inequalities for pre-invex functions
- Hermite-Hadamard type inequalities for interval-valued fractional integrals with respect to another function
- Approximating families for lattice outer measures on unsharp quantum logics
- On a generalized Lamé-Navier system in ℝ3
- Coercive and noncoercive elliptic problems with variable exponent Laplacian under Robin boundary conditions
- On some classical properties of normed spaces via generalized vector valued almost convergence
- Fan-Hemicontinuity for the gradient of the norm in Hilbert space
- Solvability of mixed problems for heat equations with two nonlocal conditions
- The global harnack estimates for a nonlinear heat equation with potential under finsler-geometric flow
- A note on set-star-K-Menger spaces
- A bivariate extension of the Omega distribution for two-dimensional proportional data
- Bernstein polynomials based iterative method for solving fractional integral equations
- The symmetric 4-Player gambler’s problem with unequal initial stakes
- Enveloping action: Convergence spaces
Articles in the same Issue
- Prof. RNDr. Július korbaš, CSC. passed away
- Kalmbach measurability In d0-algebras
- Quantifiers on L-algebras
- Ideals of functions with compact support in the integer-valued case
- An algebraic study of the logic S5’(BL)
- Triangular numbers and generalized fibonacci polynomial
- A general matrix series inversion pair and associated polynomials
- Quantum ostrowski type inequalities for pre-invex functions
- Hermite-Hadamard type inequalities for interval-valued fractional integrals with respect to another function
- Approximating families for lattice outer measures on unsharp quantum logics
- On a generalized Lamé-Navier system in ℝ3
- Coercive and noncoercive elliptic problems with variable exponent Laplacian under Robin boundary conditions
- On some classical properties of normed spaces via generalized vector valued almost convergence
- Fan-Hemicontinuity for the gradient of the norm in Hilbert space
- Solvability of mixed problems for heat equations with two nonlocal conditions
- The global harnack estimates for a nonlinear heat equation with potential under finsler-geometric flow
- A note on set-star-K-Menger spaces
- A bivariate extension of the Omega distribution for two-dimensional proportional data
- Bernstein polynomials based iterative method for solving fractional integral equations
- The symmetric 4-Player gambler’s problem with unequal initial stakes
- Enveloping action: Convergence spaces