摘要
本文所作的主要工作 ,是将 Beth建立的一阶逻辑的语义图理论扩充到非标准逻辑 ,建立了模态逻辑 Beth语义图理论 。
同被引文献1
-
1[2]卢淑华.社会统计学[M].北京:北京大学出版社,2000.
-
1饶思中.论事实──用现代逻辑形式化方法来探讨哲学中事实的概念[J].江西师范大学学报(哲学社会科学版),1996,29(3):27-31.
-
2余俊伟.本质主义与模态逻辑[J].哲学动态,2016(1):106-111. 被引量:4
-
3刘奋荣.关于语境的一个逻辑模型[J].逻辑学研究,2012,5(4):16-26.
-
4董伟.复杂性度量的哲学基础理论研究[J].长沙铁道学院学报(社会科学版),2011,12(4):4-6. 被引量:2
-
5桂起权.互补性构架及其逻辑重建[J].武汉大学学报(人文科学版),1997,51(2):61-65. 被引量:4
-
6朱建平.多学科视域下的组合性问题[J].南通大学学报(社会科学版),2011,27(3):10-16. 被引量:1
-
7姜桂飞,唐晓嘉.基于直觉主义逻辑的隐偏好分析[J].逻辑学研究,2012,5(2):88-104.
-
8曹发生,张家锋,黄飞丹,聂登国.决策逻辑的图论模型[J].毕节学院学报(综合版),2014,32(8):8-12.
-
9朱建平.塔斯基的真定义、语义学与逻辑后承[J].合肥工业大学学报(社会科学版),2014,28(2):42-52.
-
10唐晓嘉,姜桂飞.试析作为理论分析工具的现代逻辑[J].中国高校社会科学,2015(2):33-48.