期刊文献+

谢弗函数的概念分析 被引量:1

原文传递
导出
摘要 本文从定义、波斯特定理、多级联结词以及证明简单性等方面对谢弗函数做一个概念上的分析,以期对这一概念的丰富和发展起到促进作用。
作者 刘新文
出处 《世界哲学》 CSSCI 北大核心 2011年第4期143-149,共7页 World Philosophy
基金 国家社会科学基金项目(10BZX055)资助
  • 相关文献

参考文献27

  • 1Gabbay, D. and J. Woods (eds.), Handbook of the History of Logic, vol. 11, Elsevier, 2011. 被引量:1
  • 2Church, A. , Introduction to Mathematical Logic, Princeton University Press, 1970. 被引量:1
  • 3Webb, D. , " Generation of Any n-valued Logic by One Binary Operation", in Proceedings of the National Academy of Science 21, 1935, pp. 252- 254. 被引量:1
  • 4McKinsey, J. , "On the Generation of the Functions Cpq and Np of Lukasiewicz and Tarski by Means of the Single Binary Operation", Bulletin of the American Mathematical Society 42, 1936, pp. 849 -851. 被引量:1
  • 5Quine, W. V. O. , "Review: J. C. C. McKinsey, 1936", Journal of Symbolic Logic 2, 1937, p. 59. 被引量:1
  • 6Lambert, K. (ed.), The Logical Way of Doing Things, Yale University Press, 1969. 被引量:1
  • 7Massey, G. , "Binary Connectives Functionally Complete by Themselves in S5 Modal Logic", Journal of Symbolic Logic 32, 1967, pp. 91 -92. 被引量:1
  • 8Post, E. , The Two-Valued Iterative Systems of Mathematical Logic, Princeton University Press, 1941, p. 94. 被引量:1
  • 9苏佩斯.《逻辑学导论》.中国人民大学出版社,2008年. 被引量:1
  • 10Leonard, H. & N. Goodman, "The Calculus of Individuals", Journal of Symbolic Logic 5, 1940, pp. 45 - 55. 被引量:1

二级参考文献25

共引文献16

同被引文献1

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部