Resumen

OOSTRA, ARNOLD. Gráficos existenciales sobre superficies no planas. Rev.colomb.mat. [online]. 2019, vol.53, n.2, pp.205-219.  Epub 20-Mar-2020. ISSN 0034-7426.

Los gráficos existenciales sobre el plano constituyen una representación bidimensional de la lógica clásica, en la cual una curva de Jordan indica la négation de su interior. En este artículo se propone un programa para desarrollar los gráficos existenciales Alfa, que corresponden a la lógica preposicional, sobre diferentes superficies. La geometría de cada variedad determina las posibles curvas de Jordan sobre ella, lo cual conduce a interpretaciones diversas de la negación. Esto puede abrir el camino para asignar una lógica "natural" a cualquier superficie.

Palabras clave : Gráficos existenciales; 2-variedades topolágicas; teorema de la curva de Jordan.

        · resumen en Inglés     · texto en Inglés     · Inglés ( pdf )