不用聯(lián)結詞的經典命題邏輯系統(tǒng)
[Abstract]:......
【作者單位】: 中國社會科學院哲學研究所
【分類號】:B81
【相似文獻】
相關期刊論文 前10條
1 樊明亞,朱小陽;師專邏輯教材改革研究[J];中國大學教學;1999年06期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
相關會議論文 前10條
1 張清宇;;以廣義析舍為初始符號的經典命題邏輯系統(tǒng)[A];1997年邏輯研究專輯[C];1997年
2 張清宇;;極小的弗協(xié)調U、S時態(tài)命題邏輯[A];邏輯、語言與思維——周禮全先生八十壽辰紀念文集[C];2001年
3 馮棉;;邏輯推理中的相干性[A];第三次金岳霖學術思想研討會論文集[C];2005年
4 蔡曙山;;語用邏輯研究[A];邏輯今探——中國邏輯學會第五次代表大會暨學術討論會論文集[C];1996年
5 張清宇;;弗協(xié)調邏輯系統(tǒng)Zn和ZnUS[A];理有固然——紀念金岳霖先生百年誕辰[C];1995年
6 田心軍;;關于選言判斷聯(lián)結詞的語言表達問題——與且大有教授商榷[A];邏輯今探——中國邏輯學會第五次代表大會暨學術討論會論文集[C];1996年
7 吳堅;;論“或者"與“兩可說"[A];1997年邏輯研究專輯[C];1997年
8 陳曉平;;談談實質蘊涵問題[A];1997年邏輯研究專輯[C];1997年
9 李立鋒;;K-SEQ語義下經典定理的真值與“真”概念[A];1998年邏輯研究專輯[C];1998年
10 劉奮榮;;缺省邏輯如何研究非單調推理?[A];邏輯、語言與思維——周禮全先生八十壽辰紀念文集[C];2001年
相關博士學位論文 前1條
1 馮彥波;合并邏輯方法研究[D];南開大學;2010年
相關碩士學位論文 前10條
1 郭靜;聯(lián)結詞“或者”的邏輯分析[D];湘潭大學;2008年
2 史t,
本文編號:2146963
本文鏈接:http://sikaile.net/shekelunwen/ljx/2146963.html