搜索结果: 1-1 共查到“数理逻辑与数学基础 Paraconsistent Modal Logics”相关记录1条 . 查询时间(0.124 秒)
Homotopies in Classical and Paraconsistent Modal Logics
Paraconsistent Modal Logics Homotopies Logic
2011/9/20
Abstract: Topological semantics for modal logics has recently gained new momentum in many different branches of logic. In this paper, we will consider the topological semantics of both classical and p...