2011/01/15 by Basil Papadopoulos, Papadopoulos, Basil K., Apostolos Syropoulos +1
Computer Science · Mathematics · #Algebraic structures and combinatorial models #FOS: Computer and information sciences #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.1101.2999
openalex publication_date 2011/01/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
By using the representational power of Chu spaces we define the notion of a generalized topological space (or GTS, for short), i.e., a mathematical structure that generalizes the notion of a topological space. We demonstrate that these topological spaces have as special cases known topological spaces. Furthermore, we develop the various topological notions and concepts for GTS. Moreover, since the logic of Chu spaces is linear logic, we give an interpretation of most linear logic connectives as operators that yield topological spaces.