Modules with fusion and implication based over distributive lattices: Representation and duality
-
Ismael Calomino
and
William J. Zuluaga Botero
Abstract
In this paper, we study the class of modules with fusion and implication based over distributive lattices, or FIDL-modules, for short. We introduce the concepts of FIDL-subalgebra and FIDL-congruence as well as the notions of simple and subdirectly irreducible FIDL-modules. We give a bi-sorted Priestley-like duality for FIDL-modules and moreover, as an application of such a duality, we provide a topological bi-spaced description of the FIDL-congruences. This result will allows us to characterize the simple and subdirectly irreducible FIDL-modules.
This work was supported by the CONICET under Grant PIP 112-201501-00412. The second author has been funded by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (grant agreement No.670624)
Acknowledgement
We would like to thank to the referees for all their comments and suggestions which helped to improve the presentation of this paper.
-
(Communicated by Roberto Giuntini )
References
[1] Balbes, R.—Dwinger, P.: Distributive Lattices, University of Missouri Press, 1974.Search in Google Scholar
[2] Blackburn, P.—de Rijke, M.—Venema, Y.: Modal Logic, Cambridge University Press, 2001.10.1017/CBO9781107050884Search in Google Scholar
[3] Burmeister, P.: Lecture Notes on Universal Algebra, Many-Sorted Partial Algebras, manuscript available via internet, 2002.Search in Google Scholar
[4] Cabrer, L.—Celani, S.: Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras, Cent. Eur. J. Math. 4 (2006), 600–623.10.2478/s11533-006-0025-6Search in Google Scholar
[5] Celani, S.: Ditributive lattices with fusion and implication, Southeast Asian Bull. Math. 28 (2004), 999–1010.Search in Google Scholar
[6] Celani, S.: Simple and subdirectly irreducibles bounded distributive lattices with unary operators, Int. J. Math. Math. Sci. 2006 (2006), 20 pp.10.1155/IJMMS/2006/21835Search in Google Scholar
[7] Chagrov, A.—Zakharyaschev, M.: Modal Logic, Oxford Logic Guides, Oxford University Press, 1997.10.1093/oso/9780198537793.001.0001Search in Google Scholar
[8] Cignoli, R.—Lafalce, S.—Petrovich, A.: Remarks on Priestley duality for distributive lattices, Order 8 (1991), 299–315.10.1007/BF00383451Search in Google Scholar
[9] Cignoli, R.: Distributive lattice congruences and Priestley Spaces. In: Proceedings of the first congress of mathematics “Dr. Antonio A. R. Monteiro”, Bahía Blanca, Argentina, 1991, pp. 81–84.Search in Google Scholar
[10] Esteva, F.—Godo, L.: Monoidal t-norm based Logic: Towards a logic for left-continuous t-norms, Fuzzy Sets Syst. 124 (2001), 271–288.10.1016/S0165-0114(01)00098-7Search in Google Scholar
[11] Galatos, N.—Jipsen, P.—Kowalski, T.—Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Stud. Logic Found. Math., Elsevier, 2007.Search in Google Scholar
[12] Goldblatt, R.: Varieties of complex algebras, Ann. Pure Appl. Logic 44 (1989), 173–242.10.1016/0168-0072(89)90032-8Search in Google Scholar
[13] Höhle, U.: Commutative, residuated l-monoids. In: Proceedings of the 14th Linz seminar on fuzzy set theory held at Linz, Austria, Kluwer Academic Publishers, 1995, pp. 53–106.10.1007/978-94-011-0215-5_5Search in Google Scholar
[14] Iorgulescu, A.: Connections between MVn algebras and n-valued Lukasiewicz-Moisil algebras Part I, Discrete Math. 181 (1998), 155–177.10.1016/S0012-365X(97)00052-6Search in Google Scholar
[15] Jipsen, P.—Tsinakis, C.: A Survey of Residuated Lattices, Ordered Algebraic Structures, Dordrecht. Kluwer Academic Publishers, 2002, pp. 19–56.10.1007/978-1-4757-3627-4_3Search in Google Scholar
[16] Petrovich, A.: Distributive lattices with an operator, Stud. Log. 56 (1996), 205–224.10.1007/BF00370147Search in Google Scholar
[17] Priestley, H.: Ordered topological spaces and the representation of distributive lattices, Proc. London Math. Soc. 24 (1972), 507–530.10.1112/plms/s3-24.3.507Search in Google Scholar
[18] Sofronie-Stokkermans, V.: Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators, J. Symb. Comput. 36 (2003), 891–924.10.1016/S0747-7171(03)00069-5Search in Google Scholar
[19] Urquhart, A.: Duality for algebras of relevant logics, Stud. Log. 56 (1996), 263–276.10.1007/BF00370149Search in Google Scholar
© 2022 Mathematical Institute Slovak Academy of Sciences
Articles in the same Issue
- Regular Papers
- Logical and algebraic properties of generalized orthomodular posets
- Integral prefilters and integral Eq-algebras
- Modules with fusion and implication based over distributive lattices: Representation and duality
- Localization of k × j-rough Heyting algebras
- Meet infinite distributivity for congruence lattices of direct sums of algebras
- Some exponential diophantine equations II: The equation x2 – Dy2 = kz for even k
- On extensions of the Open Door Lemma
- Nevanlinna theory for holomophic curves from annuli into semi-Abelian varieties
- Stability and feedback stabilizability of delay periodic differential equations with pairwise permutable matrix functions
- On the behaviour solutions of fractional and partial integro differential heat equations and its numerical solutions
- Oscillatory and asymptotic behavior of solutions of third-order quasi-linear neutral difference equations
- Some properties of Kantorovich variant of Chlodowsky-Szász operators induced by Boas-Buck type polynomials
- A Study on statistical versions of convergence of sequences of functions
- Fuzzy fixed point theorems and Ulam-Hyers stability of fuzzy set-valued maps
- Notes on affine Killing and two-Killing vector fields
- Prediction of the exponential fractional upper record-values
- On concomitants of generalized order statistics from generalized FGM family under a general setting
- One-parameter generalization of dual-hyperbolic Pell numbers
Articles in the same Issue
- Regular Papers
- Logical and algebraic properties of generalized orthomodular posets
- Integral prefilters and integral Eq-algebras
- Modules with fusion and implication based over distributive lattices: Representation and duality
- Localization of k × j-rough Heyting algebras
- Meet infinite distributivity for congruence lattices of direct sums of algebras
- Some exponential diophantine equations II: The equation x2 – Dy2 = kz for even k
- On extensions of the Open Door Lemma
- Nevanlinna theory for holomophic curves from annuli into semi-Abelian varieties
- Stability and feedback stabilizability of delay periodic differential equations with pairwise permutable matrix functions
- On the behaviour solutions of fractional and partial integro differential heat equations and its numerical solutions
- Oscillatory and asymptotic behavior of solutions of third-order quasi-linear neutral difference equations
- Some properties of Kantorovich variant of Chlodowsky-Szász operators induced by Boas-Buck type polynomials
- A Study on statistical versions of convergence of sequences of functions
- Fuzzy fixed point theorems and Ulam-Hyers stability of fuzzy set-valued maps
- Notes on affine Killing and two-Killing vector fields
- Prediction of the exponential fractional upper record-values
- On concomitants of generalized order statistics from generalized FGM family under a general setting
- One-parameter generalization of dual-hyperbolic Pell numbers
