On the closure operator, a concept involving several and distinct topics of Mathematics

Authors

DOI:

https://doi.org/10.22481/intermaths.v3i1.10504

Keywords:

Operador de fecho, Estruturas matemáticas, Bases, Geradores

Abstract

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

Download data is not yet available.

Metrics

Metrics Loading ...

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).

Published

2022-06-30

How to Cite

de Araujo Feitosa, H., Golzio, A. C., & Soares, M. R. . (2022). On the closure operator, a concept involving several and distinct topics of Mathematics. INTERMATHS, 3(1), 107-124. https://doi.org/10.22481/intermaths.v3i1.10504

Issue

Section

Artigos