About
28
Publications
2,509
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
47
Citations
Publications
Publications (28)
Una de las notaciones más geniales para los conectivos proposicionales binarios fue introducida hace un siglo por C. S. Peirce. En esta notación, el símbolo asignado a cada conectivo puede leerse como la tabla de verdad del mismo y simultáneamente como el diagrama de Venn de la operación conjuntista correspondiente. Además de varias propiedades ind...
El libro “Introducción a las funciones de variable compleja” es una invitación al estudio del análisis complejo, que en sus raíces más básicas corresponde al cálculo diferencial e integral de funciones de una sola variable compleja. Más allá de su división en capítulos y secciones, este texto aborda en orden tres grandes temas. En el primer momento...
Existential graphs were invented by Charles Peirce as a diagrammatic representation of logic, but his original system was restricted to the classical logic known at the time. In addition to a review of Peirce’s initial graphs, in this chapter we show an extension of these diagrams to intuitionistic logic, and we explore the possibility of drawing e...
En este artículo se traza un boceto de la obra intelectual de Fernando Zalamea hasta 2019, enfatizando en cuatro ejes: matemáticas, filosofía de la matemática, estudios peirceanos y ensayística.
We give a formal proof of the mathematical equivalence between a proposed system of existential graphs and intuitionistic propositional calculus. Along the way, we obtain a new set of algebraic rules axiomatizing intuitionistic propositional logic.
Existential graphs on the plane constitute a two-dimensional representation of classical logic, in which a Jordan curve stands for the negation of its inside. In this paper we propose a program to develop existential Alpha graphs, which correspond to propositional logic, on various surfaces. The geometry of each manifold determines the possible Jor...
We explain different presentations of the algebraic structures that match the {→, ∧}-fragment of intuitionistic propositional logic. Se elaboran diferentes presentaciones de las estructuras algebraicas que corresponden al seg-mento {→, ∧} del cálculo proposicional intuicionista.
Luego de una presentación muy general de Charles S. Peirce, en este artículo divulgativo se hace una reseña corta de sus trabajos lógicomatemáticos, se propone una clasifi cación de los mismos según su ingreso al corpus matemático y se indican algunas líneas abiertas a la investigación.
Resumen. En esta nota, aparte de introducciones muy generales a tres lógicas sin la dualidad verdadero/falso —la lógica intuicionista de Brouwer, las lógicas multivaluadas de Lukasiewicz y la lógica difusa de Zadeh— se presenta una formalización reciente de la lógica difusa. En la lógica clásica las proposiciones pueden tomar solo dos valores de ve...
Some remarks on the role of diagrams in mathematics. Resumen. Algunas reflexiones sobre el papel de los diagramas en la mate-