出处
《哲学研究》
CSSCI
北大核心
1996年第5期72-79,共8页
Philosophical Research
同被引文献71
-
1张清宇.系统Z中的范式和插入定理[J].哲学研究,1999(12):74-78. 被引量:3
-
2张清宇.经典命题逻辑的一个公理系统[J].哲学研究,1997(8):51-58. 被引量:7
-
3张清宇.不用联结词的经典命题逻辑系统[J].哲学研究,1995(5):40-47. 被引量:9
-
4杜国平.单独函数完全的算子[J].哲学研究,2000(6):52-55. 被引量:2
-
5余俊伟.形式系统的可靠性和完全性问题[J].湖南科技大学学报(社会科学版),2005,8(1):25-29. 被引量:2
-
6刘新文.经典一阶逻辑的希尔伯特型系统[J].湖南科技大学学报(社会科学版),2005,8(2):27-29. 被引量:4
-
7杜国平.哲思逻辑——一个形而上学内容的公理体系[J].东南大学学报(哲学社会科学版),2007,9(4):43-46. 被引量:20
-
8Kline, G. L. and S. A. Anovskaa, 1951, "Review of foundations of mathematics and mathematical logic by S. A. Yanovskaya", in JSL 16.
-
9Leonard, H. S. and N. Goodman, 1940, "The Calculus of Individuals", in JSL 5.
-
10Mancosu, P. , 1999, "Between Russell and Hilbert: behmann on the foundations of mathematics", in Bulletin of Symbolic Logic 5.
引证文献8
-
1刘新文.经典一阶逻辑的希尔伯特型系统[J].湖南科技大学学报(社会科学版),2005,8(2):27-29. 被引量:4
-
2刘新文.论命题与括号[J].哲学研究,2008(9):113-119. 被引量:3
-
3唐芳芳.基于广义谢弗竖的分析性模态公理系统[J].逻辑学研究,2009,2(3):37-49. 被引量:1
-
4刘新文.论逻辑常项的归约[J].哲学研究,2011(6):115-122. 被引量:2
-
5杜国平.关于“不用联结词的逻辑系统”的注记[J].重庆理工大学学报(社会科学),2019,33(4):7-12. 被引量:6
-
6杜国平.基于括号表示法的一阶逻辑系统[J].安徽大学学报(哲学社会科学版),2019,43(3):35-41. 被引量:6
-
7刘新文.沈有鼎的“纯逻辑演算”思想源流——纪念沈有鼎先生逝世30周年[J].重庆理工大学学报(社会科学),2019,33(9):8-13.
-
8杜国平.括号表示法:一种中国式表示法[J].哲学研究,2023(4):103-115.
二级引证文献15
-
1刘新文.论命题与括号[J].哲学研究,2008(9):113-119. 被引量:3
-
2唐芳芳.基于破坏性表列的模态公理系统[J].湖南科技大学学报(社会科学版),2009,12(1):41-45. 被引量:2
-
3唐芳芳.基于广义谢弗竖的分析性模态公理系统[J].逻辑学研究,2009,2(3):37-49. 被引量:1
-
4刘新文.论逻辑常项的归约[J].哲学研究,2011(6):115-122. 被引量:2
-
5刘新文.谢弗函数的概念分析[J].世界哲学,2011(4):143-149. 被引量:1
-
6刘新文.函数完备性问题[J].重庆理工大学学报(社会科学),2011,25(8):44-47.
-
7刘新文.再论逻辑常项的归约[J].世界哲学,2018(6):149-156. 被引量:1
-
8杜国平.基于括号表示法的一阶逻辑系统[J].安徽大学学报(哲学社会科学版),2019,43(3):35-41. 被引量:6
-
9杜国平.基于括号表示法的4值逻辑自然演绎系统[J].湖北大学学报(哲学社会科学版),2020,47(2):36-49. 被引量:4
-
10杜国平.合舍系统及其定理的能行证明[J].重庆理工大学学报(社会科学),2021,35(6):53-61. 被引量:2
-
1崔泽云.经典命题逻辑的本体论承诺[J].湘潭师范学院学报(社会科学版),2004,26(6):26-28.
-
2张清宇.系统Z中的范式和插入定理[J].哲学研究,1999(12):74-78. 被引量:3
-
3余军成,和宝珍.论经典命题逻辑矢列演算的保持高度收缩定理[J].毕节学院学报(综合版),2016,34(3):59-65.
-
4胡泽洪.信念逻辑二题[J].华南师范大学学报(社会科学版),1994(3):24-27. 被引量:1
-
5胡义昭.不相交并和一阶语言的有穷模型性[J].重庆理工大学学报(社会科学),2014,28(12):22-26.
-
6张清宇.经典命题逻辑的一个公理系统[J].哲学研究,1997(8):51-58. 被引量:7
-
7陈磊,史晓菲.狭义相对论的一阶公理化[J].北京师范大学学报(社会科学版),2012(4):103-110. 被引量:1
-
8刘壮虎.归纳支持逻辑的一个新系统[J].哲学研究,1989(12):57-66. 被引量:3
-
9孔红.判例类比推理的逻辑[J].湖北大学学报(哲学社会科学版),2013,40(4):26-30. 被引量:1
-
10陈晓华.不同形式假言易位之差异[J].重庆工学院学报(社会科学版),2009,23(9):15-18.
;