Resumo

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.

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

        · resumo em Inglês     · texto em Inglês     · Inglês ( pdf )