Characterization of monadic BL-algebras by state operators

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, 124 pp.Search in Google Scholar

[2] Borumand Saeid, A.—Zahiri, S.: Radicals in MTL-algebras, Fuzzy Sets and Systems 236 (2014), 91–103.10.1016/j.fss.2013.06.001Search in Google Scholar

[3] Bezhanishvili, G.: Varieties of monadic Heyting algebras I, Stud. Log. 61 (1998), 367–402.10.1023/A:1005073905902Search in Google Scholar

[4] Borzooei, R. A.—Dvurečenskij, A.—Zahiri, O.: State BCK-algebras and state-morphism BCK-algebras, Fuzzy Sets and Systems 244 (2014), 86–105.10.1016/j.fss.2013.12.007Search 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řík, M.: Monadic basic algebras, Acta Univ. Palacki. Olomuc., Fac. Rer. Nat. Mathematica 47 (2008), 27–36.Search in Google Scholar

[7] Cignoli, R.—Esteva, F.—Godo, L.—Torrens, A.: Basic fuzzy logic is the logic of continuous t-norms and their residua, Soft Comput. 4 (2000), 106–112.10.1007/s005000000044Search in Google Scholar

[8] 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

[9] Cimadamore, C.—Díaz Varela, J. P.: Monadic Wajsberg hoops, Rev. Un. Mat. Argentina 57 (2016), 63–83.Search in Google Scholar

[10] Ciungu, L. C.—Dvurečenskij, A.—Hyčko, M.: State BL-algebras, Soft Comput. 15 (2011), 619–634.10.1007/s00500-010-0571-5Search in Google Scholar

[11] Ciungu, L. C.: Bounded pseudo-hoops with internal states, Math. Slovaca 63 (2013), 903–934.10.2478/s12175-013-0144-zSearch in Google Scholar

[12] Ciungu, L. C.: Internal states on equality algebras, Soft Comput. 19 (2015), 939–953.10.1007/s00500-014-1494-3Search in Google Scholar

[13] Constantinescu, N. M.: On pseudo BL-algebras with internal states, Soft Comput. 16 (2012), 1915–1922.10.1007/s00500-012-0864-ySearch in Google Scholar

[14] 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

[15] Di Nola, A.—Dvurečenskij, A.: State-morphism MV-algebras, Ann. Pure Appl. Logic 161 (2009), 161–173.10.1016/j.apal.2009.05.003Search in Google Scholar

[16] Drăgulici, D. D.: Quantifiers on BL-algebras, An. Univ. Bucur., Mat. Inform. 50 (2001), 29–42.Search in Google Scholar

[17] Drăgulici, D. D.: Polyadic BL-algebras. A representation theorem, J. Mult.-Valued Log. Soft Comput. 16 (2010), 265–302.Search in Google Scholar

[18] Dvurečenskij, A.—Rachůnek, J.—Šalounová, D.: State operators on generalizations of fuzzy structures, Fuzzy Sets and Systems 187 (2012), 58–76.10.1016/j.fss.2011.05.023Search in Google Scholar

[19] Flaminio, T.—Montagna, F.: MV-algebras with internal states and probabilistic fuzzy logics, Inter. J. Approx. Reasoning 50 (2009), 138–152.10.1016/j.ijar.2008.07.006Search in Google Scholar

[20] Grigolia, R.: Monadic BL-algebras, Georgian Math. J. 13 (2006), 267–276.10.1515/GMJ.2006.267Search in Google Scholar

[21] Hájek, P.: Metamathematics of Fuzzy Logic, Kluwer Academic Publishers, Dordrecht, 1998.10.1007/978-94-011-5300-3Search in Google Scholar

[22] Halmos, P. R.: Algebraic logic I-monadic Boolean algebras, Compos. Math. 12 (1956), 217–249.Search in Google Scholar

[23] Iorgulescu, A.: Classes of BCK algebras-Part III, Preprint Series of The Institute of Mathematics of the Romanian Academy, Preprint No. 3, 2004, 1–37.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] Mundici, D.: Averaging the truth-value in Łukasiewicz sentential logic, Studia Logica 55 (1995), 113–127.10.1007/BF01053035Search in Google Scholar

[27] Piciu, D.: Algebra of Fuzzy Logic, Editura Universtaria, Universtaria Craiova, 2007.Search in Google Scholar

[28] Rachůnek, J.—Šalounová, D.: Monadic bounded commutative residuated ℓ-monoids, Order 25 (2008), 157–175.10.1007/s11083-008-9088-2Search in Google Scholar

[29] Rachůnek, J.—Šalounová, D.: Monadic GMV-algebras, Arch. Math. Logic 47 (2008), 277–297.10.1007/s00153-008-0086-2Search in Google Scholar

[30] Rachůnek, J.—Šalounová, D.: Monadic bounded residuated lattices, Order 30 (2013), 195–210.10.1007/s11083-011-9236-ySearch in Google Scholar

[31] 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

[32] Wang, J.—Xin, X.—He, P.: Monadic bounded hoops, Soft Comput. 22 (2018), 1749–1762.10.1007/s00500-017-2648-xSearch in Google Scholar

[33] Wang, J.—Xin, X.—He, P.: Monadic NM-algebras, Log. J. IGPL 27 (2019), 812–835.10.1093/jigpal/jzz005Search in Google Scholar

[34] Zaheriani, S. Y.—Zahiri, O.: Monadic BE-algebras, J. Intell. Fuzzy Syst. 27 (2014), 2987–2995.10.3233/IFS-141257Search in Google Scholar

[35] Zahiri, S.—Borumand Saeid, A.: The role of states in triangle algebras, Iran. J. Fuzzy Syst. 17(3) (2020), 163–176.Search in Google Scholar