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

Arnold Oostra ^[1]
1. [1] Universidad del Tolima
  
  Universidad del Tolima
  
  Colombia
Localización: Boletín de matemáticas, ISSN 0120-0380, ISSN-e 2357-6529, Vol. 26, Nº. 1, 2019, págs. 31-50
Idioma: español
Títulos paralelos:
- Complex representation of Alpha graphs for implicative logic with conjunction
Enlaces
- Texto completo (pdf)
Resumen
- español
  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.
- English
  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.