出处
《哲学研究》
CSSCI
北大核心
1995年第5期40-47,共8页
Philosophical Research
同被引文献76
-
1张清宇.系统Z中的范式和插入定理[J].哲学研究,1999(12):74-78. 被引量：3
-
2张家龙.从现代逻辑观点看亚里士多德的三段论[J].哲学研究,1988(5):39-46. 被引量：7
-
3张清宇.经典命题逻辑的一个公理系统[J].哲学研究,1997(8):51-58. 被引量：7
-
4张清宇.不用联结词和量词的一阶逻辑系统[J].哲学研究,1996(5):72-79. 被引量：8
-
5杜国平.单独函数完全的算子[J].哲学研究,2000(6):52-55. 被引量：2
-
6余俊伟.形式系统的可靠性和完全性问题[J].湖南科技大学学报（社会科学版）,2005,8(1):25-29. 被引量：2
-
7刘新文.经典一阶逻辑的希尔伯特型系统[J].湖南科技大学学报（社会科学版）,2005,8(2):27-29. 被引量：4
-
8杜国平.哲思逻辑——一个形而上学内容的公理体系[J].东南大学学报（哲学社会科学版）,2007,9(4):43-46. 被引量：20
-
9Kline, G. L. and S. A. Anovskaa, 1951, "Review of foundations of mathematics and mathematical logic by S. A. Yanovskaya", in JSL 16. 被引量：1
-
10Leonard, H. S. and N. Goodman, 1940, "The Calculus of Individuals", in JSL 5. 被引量：1
引证文献9
-
1刘新文.论命题与括号[J].哲学研究,2008(9):113-119. 被引量：3
-
2唐芳芳.基于广义谢弗竖的分析性模态公理系统[J].逻辑学研究,2009,2(3):37-49. 被引量：1
-
3刘新文.论逻辑常项的归约[J].哲学研究,2011(6):115-122. 被引量：2
-
4闵惜琳,莫赞,郭开仲,周小平.基于错误逻辑相似变换构建网购用户评价有效集模型[J].数学的实践与认识,2017,47(16):224-234.
-
5杜国平.关于“不用联结词的逻辑系统”的注记[J].重庆理工大学学报（社会科学）,2019,33(4):7-12. 被引量：6
-
6杜国平.基于括号表示法的一阶逻辑系统[J].安徽大学学报（哲学社会科学版）,2019,43(3):35-41. 被引量：6
-
7杜国平.不用联结词的“舍…取…”型自然推演系统[J].湖南科技大学学报（社会科学版）,2019,22(3):21-24. 被引量：6
-
8刘新文.沈有鼎的“纯逻辑演算”思想源流——纪念沈有鼎先生逝世30周年[J].重庆理工大学学报（社会科学）,2019,33(9):8-13.
-
9杜国平.括号表示法:一种中国式表示法[J].哲学研究,2023(4):103-115.
二级引证文献13
-
1唐芳芳.基于广义谢弗竖的分析性模态公理系统[J].逻辑学研究,2009,2(3):37-49. 被引量：1
-
2刘新文.论逻辑常项的归约[J].哲学研究,2011(6):115-122. 被引量：2
-
3刘新文.谢弗函数的概念分析[J].世界哲学,2011(4):143-149. 被引量：1
-
4刘新文.函数完备性问题[J].重庆理工大学学报（社会科学）,2011,25(8):44-47.
-
5刘新文.再论逻辑常项的归约[J].世界哲学,2018(6):149-156. 被引量：1
-
6杜国平.基于括号表示法的一阶逻辑系统[J].安徽大学学报（哲学社会科学版）,2019,43(3):35-41. 被引量：6
-
7杜国平.基于括号表示法的4值逻辑自然演绎系统[J].湖北大学学报（哲学社会科学版）,2020,47(2):36-49. 被引量：4
-
8杜国平.合舍系统及其定理的能行证明[J].重庆理工大学学报（社会科学）,2021,35(6):53-61. 被引量：2
-
9杜国平.“不可得兼”型命题逻辑自然推演系统[J].广西大学学报（哲学社会科学版）,2021,43(3):52-56. 被引量：2
-
10万小龙,徐亮.卢卡锡维茨Ł_(3)系统的最低限度隐变量解释[J].安徽大学学报（哲学社会科学版）,2022,46(5):32-40.
-
1张清宇.经典命题逻辑的一个公理系统[J].哲学研究,1997(8):51-58. 被引量：7
-
2梁庆寅.略论事物的模态和命题的模态[J].学海,1993(2):28-30.
-
3王路.论“语言转向”的性质和意义[J].哲学研究,1996(10):57-63. 被引量：14
-
4石一日.逻辑和哲学─—读张家龙著《数理逻辑发展史》[J].哲学研究,1994(9):68-71.
-
5王路.论“必然地得出”[J].哲学研究,1999(10):51-59. 被引量：14
-
6曹飞.经典命题演算的多值模型[J].华东师范大学学报（哲学社会科学版）,1999,31(1):24-26. 被引量：1
-
7崔泽云.经典命题逻辑的本体论承诺[J].湘潭师范学院学报（社会科学版）,2004,26(6):26-28.
-
8张清宇.系统Z中的范式和插入定理[J].哲学研究,1999(12):74-78. 被引量：3
-
9杜国平.沈有鼎学术思想研讨会综述[J].哲学研究,1998(11):80-81.
-
10刘利民.语言元范畴化与公孙龙语言哲学[J].外语学刊,2011(1):13-16. 被引量：5
;
