Existential Graphs on nonplanar surfaces

Abstract

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 Jordan curves on it, leading to diverse interpretations of negation. This may open a way for appointing a "natural" logic to any surface.