On the closure operator, a concept involving several and distinct topics of Mathematics
DOI:
https://doi.org/10.22481/intermaths.v3i1.10504Keywords:
Operador de fecho, Estruturas matemáticas, Bases, GeradoresAbstract
We present the closure operators and detach several distinct topics of mathematics in which we can observe the action of these closure operators. So, we can see these operators as a trans-topic concept. Considering that these mathematics theories can be applied to so many fields, then we enhance the closure operators as a transdisciplinary notion.
Downloads
Metrics
References
[1] AULL, C.E.; LOWEN, R. Handbook of the History of General Topology, 1, Kluwer Academic Publishers, Dordrecht, 1997.
[2] BELL, J. L.; MACHOVER, M. A course in mathematical logic. Amsterdam: North-Holland, 1977.
[3] BLOOM, S. L.; BROWN, D. J. Classical abstract logics, Dissertationes Mathemati-cae, v. 102, p. 43–52, 1973.
[4] BROWN, D. J.; SUSZKO, R. Abstract logics. Dissertationes Mathematicae, v. 102, p. 7–41, 1973.
[5] BURRIS, S.; SANKAPPANAVAR, H. P. A course in universal algebra. New York: Springer, 1981.
[6] CARNIELLI, W. A.; EPSTEIN, R. L. Computabilidade, funções computáveis, lógica e os fundamentos da matemática. São Paulo: Editora UNESP, 2006.
[7] CHURCH, A. A Note on the Entscheidungsproblem. Journal of Symbolic Logic, v. 1, p. 40-41, 1936a.
[8] CHURCH, A. An Unsolvable Problem of Elementary Number Theory. American Journal of Mathematics, v. 58, p, 345-363, 1936b.
[9] DEDEKIND, R. The nature and meaning of numbers (1888). In Essays on the Theo-ry of Numbers. English translation of “Was sind und was sollen die Zahlen?”, Vieweg, 1888.
[10] DIAS, M. F.; WEBER, L. Teoria da recursão. São Paulo: Ed. Unesp, 2010.
[11] FEITOSA, H. A.; NASCIMENTO, M. C.; SOARES, M. R. Models for the logic of Tarski consequence operator. In: Cezar A. Mortari (Org.). Tópicos de lógicas não clássicas. Florianópolis: NEL/UFSC, v. 1, p. 125-137, 2014.
[12] FEITOSA, H. A.; NASCIMENTO, M. C.; SILVESTRINI, L. H. C. Confrontando propriedades lógicas em um contexto de lógica universal. Cognitio, v. 15, n. 2, p. 1-16, 2014.
[13] HOPPMANN, A. G. Fecho e imersão. Rio Claro: Faculdade de Filosofia, Ciências e Letras de Rio Claro, 1973. (Tese de Doutoramento em Matemática).
[14] KURATOWSKI, K. Sur l’opération A de l’analysis situs. Fund. Math., n. 3, p. 182–199, 1922.
[15] LIMA, E. L. Álgebra linear. 7a. Ed. Rio de Janeiro: IMPA, 2006. (Coleção mate-mática universitária).
[16] LIMA, E. L. Elementos de topologia geral. Rio de Janeiro: Editora SBM, 2009. (Textos Universitários)
[17] MONTEIRO, A. Caractérisation de l'opération de fermeture par un seul axiome. Portugaliae mathematica, v. 4, n. 4, p. 158-160, 1945.
[18] MOORE, E. H. Introduction to a form of general analysis. New Haven Mathemati-cal Colloquium, Yale University Press, p. 1-150, 1910.
[19] MENDELSON, E. Introduction to mathematical logic. 3. ed. Monterey, CA: Wadsworth & Brooks/Cole Advanced Books & Software, 1987.
[20] NASCIMENTO, M. C.; FEITOSA, H. A. Estruturas Algébricas. São Paulo: Cultu-ra Acadêmica, 2013.
[21] PEANO, G. Arithmetices principia, nova methodo exposita. Bocca, Torino, 1889.
[22] POLLARD, S.; MARTIN, N. M. Closure spaces and logic. Norwell: Kluwer, 1996.
[23] SANTIAGO, R. H. N.; BEDREGAL, B. R. C.; ACIÓLY, B. M. Interval Repre-sentations, em “Seleta do XXVI CNMAC” (E.X.L. de Andrade et al., eds.), TEMA – Tendências em Matemática Aplicada e Computacional, v. 5, n. 2, p. 317- 326, SBMAC, 2004.
[24] TARSKI, A. Logic, semantics, metamathematics. 2nd. ed. J. Corcoran (Ed.). Indi-anapolis: Hackett Publishing Company, 1983.
[25] WÓJCICKI, R. Theory of logical calculi: basic theory of consequence operations. Dordrecht: Kluwer, 1988. (Synthese Library, v. 199).
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2022 INTERMATHS
This work is licensed under a Creative Commons Attribution 4.0 International License.
- Responsibility: The scientific content and the opinions expressed in the manuscript are the sole responsibility of the author(s).
- Copyrights: INTERMATHS.
- All content of Revista INTERMATHS/INTERMATHS journal is licensed under a Creative Commons - Atribuição 4.0 Internacional