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

【參考文獻】

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

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

【相似文獻】

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

1 陳慕澤;詞項周延性的一階語言定義[J];中國人民大學(xué)學(xué)報;1997年03期

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

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

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

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

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

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