Representación compleja de los gráficos Alfa para la lógica implicativa con conjunción

Arnold Oostra

Publicado

2020-03-02

Representación compleja de los gráficos Alfa para la lógica implicativa con conjunción

Complex Representation of Alpha Graphs for Implicative Logic with Conjunction

Palabras clave:

Lógica implicativa con conjunción, álgebras de Hilbert, gráficos existenciales Alfa, curvatura total, isotopía (es)
Implicative logic with conjunction, Hilbert algebras, existential Alpha graphs, total curvature, isotopy (en)

Descargas

PDF

Autores/as

Arnold Oostra Universidad del Tolima

Resumen (es)
Resumen (en)

La lógica implicativa con conjunción, que es el segmento de la lógica proposicional intuicionista determinado por los conectivos Λ y →, tiene un sistema de gráficos existenciales al estilo de los gráficos Alfa de Peirce. En este artículo se propone una definición formal de estos diagramas como objetos matemáticos, más aún, como objetos geométricos en el plano complejo.

For implicative logic with conjunction, which is the segment of intuitionistic propositional logic determined by the connectives Λ and →, there exists a system of existential graphs in the style of Peirce's Alpha graphs. In this paper we propose a formal definition of these diagrams as mathematical objects, moreover, as geometrical objects on the Complex plane.

Referencias

G. Brady and T. H. Trimble, A categorical interpretation of C. S. Peirce's propositional logic Alpha, Journal of Pure and Applied Algebra 149 (2000), no. 3, 213-239.

X. Caicedo, Elementos de lógica y calculabilidad, Una empresa docente,

Bogotá, 1990.

M. P. do Carmo, Differential Geometry of Curves and Surfaces, Prentice-Hall, Englewood Cliffs (NJ), 1976.

M. Castillo and A. Oostra, Álgebras para la lógica implicativa con conjunción, Matemáticas: Enseñanza Universitaria 18 (2010), no. 2, 31-50.

J. Charris, R. De Castro, and J. Varela, Fundamentos del Análisis Complejo de una variable, Academia Colombiana de Ciencias Exactas, Físicas y Naturales, Bogotá, 2000.

J. A. Flórez, Topología suma y aplicación a la topología fractal, Tesis de Maestría (Matemáticas), Universidad del Tolima, Ibagué, 2017.

A. Y. Gómez, Gráficos Alfa para la lógica implicativa con conjunción,

Trabajo de grado (Programa de Matemáticas con énfasis en Estadística), Universidad del Tolima, Ibagué, 2013.

M. Kranjk, Degrees of closed curves in the plane, Rocky Mountain Journal of Mathematics 23 (1993), no. 3, 951-978.

Y. Martínez, Un modelo real para los gráficos Alfa, Trabajo de grado (Programa de Matemáticas con énfasis en Estadística), Universidad del Tolima, Ibagué, 2014.

J. W. Milnor, On the total curvature of knots, The Annals of Mathematics 52 (1950), 248-57.

A. Oostra, Álgebras de Heyting, Universidad Pedagógica Nacional, Bogotá, 1997, XIV Coloquio Distrital de Matemáticas y Estadística.

A. Oostra, Los gráficos Alfa de Peirce aplicados a la lógica intuicionista, Cuadernos de Sistemática Peirceana 2 (2010), 25-60.

A. Oostra, Gráficos existenciales Beta intuicionistas, Cuadernos de Sistemática Peirceana 3 (2011), 53-78.

J. E. Ortiz and J. A. Segura, Gráficos Alfa intuicionistas, Trabajo de grado (Programa de Matemáticas con énfasis en Estadística), Universidad del Tolima, Ibagué, 2018.

H. Rasiowa, An Algebraic Approach to Non-classical Logics, North-Holland, Amsterdam, 1974.

D. D. Roberts, The Existential Graphs of Charles S. Peirce, Mouton, The Hague, 1973.

J. M. Sullivan, Curves of Finite Total Curvature, Discrete Differential Geometry (A.I. Bobenko, J.M. Sullivan, P. Schröder, and G.M. Ziegler, eds.), Oberwolfach Seminars, vol. 38, Birkhäuser, Basel, 2008, pp. 137-161.

J. E. Taboada and E. D. Rodríguez, Una demostración de la equivalencia

entre los gráficos Alfa y la lógica proposicional, Trabajo de grado (Programa de Matemáticas con énfasis en Estadística), Universidad del Tolima, Ibagué, 2010.

H. Whitney, On regular closed curves in the plane, Compositio Mathematica 4 (1937), 276-284.

S. Willard, General Topology, Addison-Wesley, Reading (MA), 1970.

F. Zalamea, Los gráficos existenciales peirceanos, Universidad Nacional de Colombia, Bogotá, 2010.

J. J. Zeman, The Graphical Logic of C. S. Peirce, Ph.D. dissertation, University of Chicago, Chicago, 1964, Available online at: http://users.clas.u.edu/jzeman/graphicallogic/index.htm.

Cómo citar

APA

Oostra, A. (2019). Representación compleja de los gráficos Alfa para la lógica implicativa con conjunción. Boletín de Matemáticas, 26(1), 31–50. https://revistas.unal.edu.co/index.php/bolma/article/view/85497

ACM

[1]

Oostra, A. 2019. Representación compleja de los gráficos Alfa para la lógica implicativa con conjunción. Boletín de Matemáticas. 26, 1 (ene. 2019), 31–50.

ACS

(1)

Oostra, A. Representación compleja de los gráficos Alfa para la lógica implicativa con conjunción. Bol. Matemáticas 2019, 26, 31-50.

ABNT

OOSTRA, A. Representación compleja de los gráficos Alfa para la lógica implicativa con conjunción. Boletín de Matemáticas, [S. l.], v. 26, n. 1, p. 31–50, 2019. Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/85497. Acesso em: 27 dic. 2025.

Chicago

Oostra, Arnold. 2019. «Representación compleja de los gráficos Alfa para la lógica implicativa con conjunción». Boletín De Matemáticas 26 (1):31-50. https://revistas.unal.edu.co/index.php/bolma/article/view/85497.

Harvard

Oostra, A. (2019) «Representación compleja de los gráficos Alfa para la lógica implicativa con conjunción», Boletín de Matemáticas, 26(1), pp. 31–50. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/85497 (Accedido: 27 diciembre 2025).

IEEE

[1]

A. Oostra, «Representación compleja de los gráficos Alfa para la lógica implicativa con conjunción», Bol. Matemáticas, vol. 26, n.º 1, pp. 31–50, ene. 2019.

MLA

Oostra, A. «Representación compleja de los gráficos Alfa para la lógica implicativa con conjunción». Boletín de Matemáticas, vol. 26, n.º 1, enero de 2019, pp. 31-50, https://revistas.unal.edu.co/index.php/bolma/article/view/85497.

Turabian

Oostra, Arnold. «Representación compleja de los gráficos Alfa para la lógica implicativa con conjunción». Boletín de Matemáticas 26, no. 1 (enero 1, 2019): 31–50. Accedido diciembre 27, 2025. https://revistas.unal.edu.co/index.php/bolma/article/view/85497.

Vancouver

1.

Oostra A. Representación compleja de los gráficos Alfa para la lógica implicativa con conjunción. Bol. Matemáticas [Internet]. 1 de enero de 2019 [citado 27 de diciembre de 2025];26(1):31-50. Disponible en: https://revistas.unal.edu.co/index.php/bolma/article/view/85497