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

Arnold Oostra

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