{"title":"非平面曲面上的存在图","authors":"Arnold Oostra","doi":"10.15446/RECOLMA.V53N2.85539","DOIUrl":null,"url":null,"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.","PeriodicalId":38102,"journal":{"name":"Revista Colombiana de Matematicas","volume":" ","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2019-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Existential Graphs on nonplanar surfaces\",\"authors\":\"Arnold Oostra\",\"doi\":\"10.15446/RECOLMA.V53N2.85539\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":38102,\"journal\":{\"name\":\"Revista Colombiana de Matematicas\",\"volume\":\" \",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-07-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Revista Colombiana de Matematicas\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.15446/RECOLMA.V53N2.85539\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"Mathematics\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Revista Colombiana de Matematicas","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.15446/RECOLMA.V53N2.85539","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"Mathematics","Score":null,"Total":0}
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.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
