Abstract
In this work, we study a kind of closure systems (c.s.) that are defined by means of intersections of subsets of a support X with a (fixed) closed set T. These systems (which will be indicated by M(T)-spaces) can be understood as a generalization of the usual relative subspaces. Several results (referred to continuity and to the ordered structure of families of M(T)-spaces) are shown here. In addition, we study the transference of properties from the ``original closure spaces (X,K) to the spaces (X,M(T)). Among them, we are interested mainly in finitariness and in structurality. In this study of transference, we focus our analyisis on the c.s. usually known as abstract logics, and we show some results for them.
Publisher
Sociedade Paranaense de Matematica
Reference14 articles.
1. D. Brown; R. Suszko. Abstract Logics. Dissertationes Mathematicae, 102: 9–41 (1973).
2. C. Brunetta; V. Fernandez. Structurality and Finitariness of the Logics Defined by the M(T)-operators. LXVIII Meeting of Mathematical Argentinian Union. Universidad Nacional de Cuyo (2019).
3. S. Burris; H. Sankappanavar. A Course in Universal Algebra. Springer-Verlag, New York (1981).
4. W. A. Carnielli; I. M. D’Ottaviano. Translations between logics: A manifesto. Logique & Analyse, 40: 67 – 81 (1997).
5. N. da Costa; V. Subrahmanian; C. Vago. The Paraconsistent Logics Pτ . Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, 37: 139 – 148 (1991).