天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产91传媒一区二区三区

當(dāng)前位置:主頁(yè) > 社科論文 > 邏輯論文 >

不用聯(lián)結(jié)詞和量詞的一階邏輯系統(tǒng)

發(fā)布時(shí)間:2018-05-22 09:41

  本文選題:一階語(yǔ)言 + 聯(lián)結(jié)詞; 參考:《哲學(xué)研究》1996年05期



[Abstract]:......
【作者單位】: 中國(guó)社會(huì)科學(xué)院哲學(xué)所
【分類號(hào)】:B81-05

【參考文獻(xiàn)】

相關(guān)會(huì)議論文 前1條

1 張清宇;;以廣義析舍為初始符號(hào)的經(jīng)典命題邏輯系統(tǒng)[A];1997年邏輯研究專輯[C];1997年

【相似文獻(xiàn)】

相關(guān)期刊論文 前4條

1 陳慕澤;詞項(xiàng)周延性的一階語(yǔ)言定義[J];中國(guó)人民大學(xué)學(xué)報(bào);1997年03期

2 裘江杰;;有窮關(guān)系模型上的模態(tài)可定義[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2013年03期

3 張清宇;不用聯(lián)結(jié)詞和量詞的一階邏輯系統(tǒng)[J];哲學(xué)研究;1996年05期

4 孔紅;;判例類比推理的邏輯[J];湖北大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2013年04期

相關(guān)會(huì)議論文 前2條

1 陳慕澤;;詞項(xiàng)周延性的一階語(yǔ)言定義[A];邏輯今探——中國(guó)邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

2 郝兆寬;;數(shù)理邏輯中的真概念[A];1994年邏輯研究專輯[C];1994年

,

本文編號(hào):1921582

資料下載
論文發(fā)表

本文鏈接:http://sikaile.net/shekelunwen/ljx/1921582.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶b5e73***提供,本站僅收錄摘要或目錄,作者需要?jiǎng)h除請(qǐng)E-mail郵箱bigeng88@qq.com