Characterization of monadic BL-algebras by state operators
-
Saeide Zahiri
und
Lavinia Corina Ciungu
Abstract
In this paper, we introduce the notion of state monadic BL-algebras and we investigate their properties. We define the concept of state monadic filters and study certain types of state monadic filters; we define and charaterize maximal and prime state monadic filters. Characterizations of local, simple and semisimple state monadic BL-algebras are also explored in the paper as well.
Acknowledgement
The authors are very grateful to the referees for the valuable suggestions in obtaining the final form of this paper.
-
(Communicated by Anatolij Dvurečenskij)
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.Suche 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.001Suche in Google Scholar
[3] Bezhanishvili, G.: Varieties of monadic Heyting algebras I, Stud. Log. 61 (1998), 367–402.10.1023/A:1005073905902Suche 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.007Suche 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.007Suche in Google Scholar
[6] Chajda, I.—Kolařík, M.: Monadic basic algebras, Acta Univ. Palacki. Olomuc., Fac. Rer. Nat. Mathematica 47 (2008), 27–36.Suche 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/s005000000044Suche 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-3Suche in Google Scholar
[9] Cimadamore, C.—Díaz Varela, J. P.: Monadic Wajsberg hoops, Rev. Un. Mat. Argentina 57 (2016), 63–83.Suche 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-5Suche in Google Scholar
[11] Ciungu, L. C.: Bounded pseudo-hoops with internal states, Math. Slovaca 63 (2013), 903–934.10.2478/s12175-013-0144-zSuche in Google Scholar
[12] Ciungu, L. C.: Internal states on equality algebras, Soft Comput. 19 (2015), 939–953.10.1007/s00500-014-1494-3Suche 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-ySuche 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.031Suche 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.003Suche in Google Scholar
[16] Drăgulici, D. D.: Quantifiers on BL-algebras, An. Univ. Bucur., Mat. Inform. 50 (2001), 29–42.Suche in Google Scholar
[17] Drăgulici, D. D.: Polyadic BL-algebras. A representation theorem, J. Mult.-Valued Log. Soft Comput. 16 (2010), 265–302.Suche 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.023Suche 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.006Suche in Google Scholar
[20] Grigolia, R.: Monadic BL-algebras, Georgian Math. J. 13 (2006), 267–276.10.1515/GMJ.2006.267Suche in Google Scholar
[21] Hájek, P.: Metamathematics of Fuzzy Logic, Kluwer Academic Publishers, Dordrecht, 1998.10.1007/978-94-011-5300-3Suche in Google Scholar
[22] Halmos, P. R.: Algebraic logic I-monadic Boolean algebras, Compos. Math. 12 (1956), 217–249.Suche 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.Suche in Google Scholar
[24] Kondo, M.: On residuated lattices with universal quantifiers, Bull. Iranian Math. Soc. 41 (2015), 923–929.Suche 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.Suche in Google Scholar
[26] Mundici, D.: Averaging the truth-value in Łukasiewicz sentential logic, Studia Logica 55 (1995), 113–127.10.1007/BF01053035Suche in Google Scholar
[27] Piciu, D.: Algebra of Fuzzy Logic, Editura Universtaria, Universtaria Craiova, 2007.Suche in Google Scholar
[28] Rachůnek, J.—Šalounová, D.: Monadic bounded commutative residuated ℓ-monoids, Order 25 (2008), 157–175.10.1007/s11083-008-9088-2Suche in Google Scholar
[29] Rachůnek, J.—Šalounová, D.: Monadic GMV-algebras, Arch. Math. Logic 47 (2008), 277–297.10.1007/s00153-008-0086-2Suche in Google Scholar
[30] Rachůnek, J.—Šalounová, D.: Monadic bounded residuated lattices, Order 30 (2013), 195–210.10.1007/s11083-011-9236-ySuche 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.Suche in Google Scholar
[32] Wang, J.—Xin, X.—He, P.: Monadic bounded hoops, Soft Comput. 22 (2018), 1749–1762.10.1007/s00500-017-2648-xSuche in Google Scholar
[33] Wang, J.—Xin, X.—He, P.: Monadic NM-algebras, Log. J. IGPL 27 (2019), 812–835.10.1093/jigpal/jzz005Suche in Google Scholar
[34] Zaheriani, S. Y.—Zahiri, O.: Monadic BE-algebras, J. Intell. Fuzzy Syst. 27 (2014), 2987–2995.10.3233/IFS-141257Suche 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.Suche in Google Scholar
© 2022 Mathematical Institute Slovak Academy of Sciences
Artikel in diesem Heft
- Regular Papers
- The poset of morphism-extension classes of countable graphs
- Characterization of monadic BL-algebras by state operators
- Comments on efficient batch verification test for digital signatures based on elliptic curves
- On necessary and sufficient conditions for the monogeneity of a certain class of polynomials
- An exponential Diophantine equation involving the sum or difference of powers of two Pell numbers
- Some results on certain types of Putcha semigroups
- Inner functions in QK spaces and multipliers
- Certain subclasses of meromorphic multivalent q-starlike and q-convex functions
- Algebraic dependences of meromorphic mappings into a projective space sharing few hyperplanes
- Unbounded oscillation criteria for fourth order neutral differential equations of non-canonical type
- Existence of radial solutions for a weighted p-biharmonic problem with navier boundary condition on the Heisenberg group
- Intuitionistic fuzzy Tribonacci I-convergent sequence spaces
- Lipschitz class functions and their general Fourier coefficients
-
Spectra and fine spectra of the generalized upper difference operator with triple repetition
- A Topological sphere theorem for contact CR-warped product submanifolds of an odd-dimensional unit sphere
- An extended type I half-logistic family of distributions: Properties, applications and different method of estimations
- On the Unit-Chen distribution with associated quantile regression and applications
- A note on Lévy subordinators in cones of fuzzy sets in Banach spaces
- Uniformly asymptotic normality of the weighted estimator in nonparametric regression model with φ-mixing errors
- Upper bound for variance of finite mixtures of power exponential distributions
- The dimension Dind of finite topological T0-spaces
Artikel in diesem Heft
- Regular Papers
- The poset of morphism-extension classes of countable graphs
- Characterization of monadic BL-algebras by state operators
- Comments on efficient batch verification test for digital signatures based on elliptic curves
- On necessary and sufficient conditions for the monogeneity of a certain class of polynomials
- An exponential Diophantine equation involving the sum or difference of powers of two Pell numbers
- Some results on certain types of Putcha semigroups
- Inner functions in QK spaces and multipliers
- Certain subclasses of meromorphic multivalent q-starlike and q-convex functions
- Algebraic dependences of meromorphic mappings into a projective space sharing few hyperplanes
- Unbounded oscillation criteria for fourth order neutral differential equations of non-canonical type
- Existence of radial solutions for a weighted p-biharmonic problem with navier boundary condition on the Heisenberg group
- Intuitionistic fuzzy Tribonacci I-convergent sequence spaces
- Lipschitz class functions and their general Fourier coefficients
-
Spectra and fine spectra of the generalized upper difference operator with triple repetition
- A Topological sphere theorem for contact CR-warped product submanifolds of an odd-dimensional unit sphere
- An extended type I half-logistic family of distributions: Properties, applications and different method of estimations
- On the Unit-Chen distribution with associated quantile regression and applications
- A note on Lévy subordinators in cones of fuzzy sets in Banach spaces
- Uniformly asymptotic normality of the weighted estimator in nonparametric regression model with φ-mixing errors
- Upper bound for variance of finite mixtures of power exponential distributions
- The dimension Dind of finite topological T0-spaces
