邻域语义学相关论文
中国逻辑学会现代逻辑专业委员会于1998年12月28日至30日在广东省东莞市举行了现代逻辑与逻辑哲学学术研讨会。来自大陆和香港的学者共49人与会......
作者从将所有命题算子都看作内涵到内涵的算子的观点出发,提出了一般命题逻辑的概念,建立了统一的语义──邻域语义学。讨论了邻域......
2007年全国现代逻辑研讨会于10月20-21日在燕山大学召开。逻辑学研究领域的四十多名专家学者汇聚一堂,进行了有代表性的发言,并现......
笔者根据Montague、Scott等人的想法,在Segerber、Gabby和毛翊等人在模态逻辑邻域语义学研究的基础上,提出了适合一般命题逻辑的邻域......
子直觉主义逻辑是直觉主义逻辑的部分逻辑,最先由Corsi在1987年的论文“弱严格蕴含逻辑”中系统加以研究。Restall在1994年的论文......