Arnold Oostra

Arnold Oostra
University of Tolima | UT · Departamento de Matemáticas y Estadística

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)
Article
Full-text available
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...
Book
Full-text available
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...
Chapter
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...
Article
Full-text available
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.
Chapter
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.
Article
Full-text available
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...
Article
Full-text available
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.
Article
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.
Article
Full-text available
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...
Article
Full-text available
Some remarks on the role of diagrams in mathematics. Resumen. Algunas reflexiones sobre el papel de los diagramas en la mate-

Network

Cited By