發(fā)布時間：2017-09-14 16:40

  本文關(guān)鍵詞：謝弗函數(shù)的概念分析

  更多相關(guān)文章： 謝弗函數(shù) 波斯特定理 多級聯(lián)結(jié)詞 希爾伯特新問題

【摘要】：本文從定義、波斯特定理、多級聯(lián)結(jié)詞以及證明簡單性等方面對謝弗函數(shù)做一個概念上的分析,以期對這一概念的豐富和發(fā)展起到促進作用。
【作者單位】： 中國社會科學院哲學研究所;
【關(guān)鍵詞】： 謝弗函數(shù) 波斯特定理 多級聯(lián)結(jié)詞 希爾伯特新問題
【基金】：國家社會科學基金項目(10BZX055)資助
【分類號】：B81-05
【正文快照】： 邏輯聯(lián)結(jié)詞是邏輯中的核心概念之一,①自從美國邏輯學家H.M.謝弗(H.M.Sheffer)在1913年提出“謝弗豎”這一功能完備的函數(shù)以來,圍繞它從邏輯演算、證明論、邏輯哲學、布爾代數(shù)、自動定理證明等方面進行過許許多多的工作。一、謝弗函數(shù)的定義經(jīng)典謝弗豎即通常所說的析舍聯(lián)結(jié)詞

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前1條

1 張清宇;經(jīng)典命題邏輯的一個公理系統(tǒng)[J];哲學研究;1997年08期

【共引文獻】

中國期刊全文數(shù)據(jù)庫 前6條

1 唐芳芳;;基于廣義謝弗豎的分析性模態(tài)公理系統(tǒng)[J];邏輯學研究;2009年03期

2 劉新文;;周延理論和內(nèi)插定理[J];邏輯學研究;2012年02期

3 唐芳芳;;基于破壞性表列的模態(tài)公理系統(tǒng)[J];湖南科技大學學報(社會科學版);2009年01期

4 張清宇;系統(tǒng)Z中的范式和插入定理[J];哲學研究;1999年12期

5 劉新文;;論命題與括號[J];哲學研究;2008年09期

6 劉新文;;論邏輯常項的歸約[J];哲學研究;2011年06期

中國博士學位論文全文數(shù)據(jù)庫 前1條

1 劉新文;系統(tǒng)Z的量化擴張及其對話語表現(xiàn)理論的處理[D];中國社會科學院研究生院;2002年

【二級參考文獻】

中國期刊全文數(shù)據(jù)庫 前1條

1 張清宇;不用聯(lián)結(jié)詞的經(jīng)典命題邏輯系統(tǒng)[J];哲學研究;1995年05期

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 劉新文;;謝弗函數(shù)的概念分析[J];世界哲學;2011年04期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

，

本文編號：851132