Vol. 16 No. 13 (2024): $M_K(T)$-Spaces: Some Order-Theoretical Properties and Applications to Distributive Logics

Published: 2024-12-09

Articles

  • Articles

    $M_K(T)$-Spaces: Some Order-Theoretical Properties and Applications to Distributive Logics

    Cristian Brunetta, Víctor Fernández
    View PDF
    Abstract

    We present some results involving several ordered structures related to the construction of $M_K(T)$-spaces. These are special closure spaces defined on the basis of a previously given one ${K}$ and were developed by Fern\'andez and Brunetta, 2023. Specifically, we show that for every $T \in {K}$, the poset $\mathbb{RE}_{{K}}(T)$ of weak-relative closure spaces is a sublattice of $\mathbb{CSP}(X)$ (the family of all the spaces with support $X$). On the other hand, it will be shown that the poset $\mathbb{M}({K})$ of all the $M_{{K}}(T)$-spaces does not verify this property, but it is a complete lattice itself. Also, we show in which way some order-theoretic properties are related to the recovery of closure spaces. Finally, we show some applications of $M_{{K}}(T)$-spaces to the class of distributive logics.

    References

    T.M. Al-Shami, Some results related to supra topological spaces. J. Adv. Stud. Topology, 7 (2016), no. 4, pp. 283-294.

    K. Atanassov, Intuitionistic fuzzy sets. Fuzzy Sets Syst., 20 (1986), no. 1, pp. 87-96.

    D. Brown and R. Suszko, Abstract logics. Diss Math., 102 (1973), pp. 9-41.

    S. Burris and H. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, New York, 1981.

    D. Çoker, A note on intuitionistic sets and intuitionistic points. Turk. J. Math., 20 (1996), no. 3, pp. 343-351.

    D. Çoker, An introduction to intuitionistic fuzzy topological spaces. Fuzzy Sets Syst., 88 (1997), no. 1, pp. 81-89.

    Á. Császár, Generalized topology, generalized continuity. Acta Math. Hung., 96 (2002), no. 4, pp. 351-357.

    J.Dugundji, Topology, Allyn And Bacon, Boston, 1966.

    V. Fernández and C. Brunetta, A note on closure spaces determined by intersections. Bol. da Soc. Parana. de Mat., 41, (2023), pp. 1-10.

    J.M. Font, Abstract algebraic logic. An introductory textbook, College Publications, London, 2016.

    J.M. Font and V. Verdú, Algebraic logic for classical conjunction and disjunction. Stud. Log., 50 (1991), no. 3--4, pp. 391-419.

    J.M. Font and V. Verdú, The lattice of distributive closure operators over an algebra. Stud. Log., 52 (1993), no. 1, pp. 1-13.

    P. Hájek, Metamathematics of fuzzy logic, Kluwer Academic Publishers, Amsterdam, 1998.

    A.S. Mashhour, A.A. Allam, F.S. Mahmoud and F.H. Kheder, On supra topological spaces. Indian J. Pure Appl. Math., 14 (1983), no. 4, pp. 502-510.

    F. Nakaoka and N. Oda, Some applications of minimal open sets. Int. J. Math. Math. Sci., 27 (2001), no. 8, pp. 471-476.

    B. Roy and R. Sen, On maximal μ-open and minimal μ-closed sets via generalized topology. Acta Math. Hung., 136 (2012), no. 4, pp. 233-239.

    M. Schroeder, On classification of closure spaces: search for the methods and criteria. In: Algebraic Systems and Theoretical Computer Science (Akihiro Yamamura ed.), Research Institute for Mathematical Sciences, Kyoto University, Kyoto 2012, pp.145-154.

    T. Witczak, Infra-topologies revisited: logic and clarification of basic notions. Commun. Korean Math. Soc., 37 (2022), no. 1, pp. 279-292.