弱連通傳遞框架類的命題邏輯
【相似文獻(xiàn)】
相關(guān)期刊論文 前10條
1 孫麗娜;;從“論式”看因明的邏輯性質(zhì)[J];黔南民族師范學(xué)院學(xué)報;2008年01期
2 張源;有些同志是贊成選趙明的[J];思維與智慧;1985年04期
3 宮凱峰;復(fù)合直言推理芻議[J];齊齊哈爾大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);1996年02期
4 許艷芳;;試論回溯推理[J];保定師范專科學(xué)校學(xué)報;2006年01期
5 劉新文;;函數(shù)完備性問題[J];重慶理工大學(xué)學(xué)報(社會科學(xué));2011年08期
6 杜珊;;NExtK4中瀕表格邏輯研究回顧[J];計算機(jī)科學(xué)與探索;2010年12期
7 李小虎;論關(guān)系命題的邏輯性質(zhì)[J];齊魯學(xué)刊;2001年01期
8 劉志杰;;試論假言判斷的運(yùn)用與表達(dá)[J];中國校外教育;2010年10期
9 馬明輝;;分次模態(tài)傳遞框架類(英文)[J];邏輯學(xué)研究;2010年02期
10 諸葛殷同;;對傳統(tǒng)邏輯的有力挑戰(zhàn)——評《經(jīng)典邏輯與直覺主義邏輯》[J];哲學(xué)動態(tài);1990年04期
相關(guān)會議論文 前10條
1 賈改琴;唐曉嘉;;知道謂詞邏輯系統(tǒng) K_(S5)+K_(BF)[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會議專輯[C];2006年
2 張清宇;;以廣義析舍為初始符號的經(jīng)典命題邏輯系統(tǒng)[A];1997年邏輯研究專輯[C];1997年
3 陳曉平;;談?wù)剬嵸|(zhì)蘊(yùn)涵問題[A];1997年邏輯研究專輯[C];1997年
4 崔清田;;三支作法與三段論辨析[A];因明研究[C];1990年
5 熊明;;古典命題演算的直覺主義語義分析[A];2000年邏輯研究專輯[C];2000年
6 鄭偉宏;;“因三相”正本清源[A];2003年邏輯研究專輯[C];2003年
7 劉壯虎;;自指性命題的邏輯構(gòu)造[A];1993年邏輯研究專輯[C];1993年
8 孫中原;;墨家邏輯是求真工具[A];2000年邏輯研究專輯[C];2000年
9 劉明明;;推類的邏輯性質(zhì)——基于“類同理同”觀念的分析[A];“回顧與前瞻:中國邏輯史研究30年”全國學(xué)術(shù)研討會論文集[C];2010年
10 張寶文;;論關(guān)系判斷[A];全國邏輯討論會論文選集[C];1979年
相關(guān)博士學(xué)位論文 前3條
1 張立娜;個體詞的邏輯語義[D];清華大學(xué);2007年
2 姚志強(qiáng);演繹推理中信念偏差效應(yīng)的研究[D];南京師范大學(xué);2005年
3 馮彥波;合并邏輯方法研究[D];南開大學(xué);2010年
相關(guān)碩士學(xué)位論文 前10條
1 張保壘;表列演算探究[D];華東師范大學(xué);2011年
2 劉華宇;McKinsey公理及其相關(guān)系統(tǒng)研究[D];南京大學(xué);2013年
3 張?zhí)N;墨家推類學(xué)說與亞里士多德三段論的比較研究[D];西南大學(xué);2007年
4 程娜;論維提布薩那的陳那因明思想研究[D];復(fù)旦大學(xué);2008年
5 倪國強(qiáng);廣義量詞理論對自然語言限定詞的研究[D];內(nèi)蒙古師范大學(xué);2009年
6 孫麗娜;言語交際中的語用推理述評[D];燕山大學(xué);2009年
7 陳珊;核證邏輯研究[D];中國社會科學(xué)院研究生院;2011年
8 任貴龍;達(dá)米特反應(yīng)在論的邏輯觀及其意義[D];山西大學(xué);2013年
9 李峰;論陳那因明的邏輯體系[D];復(fù)旦大學(xué);2010年
10 王曉亮;周禮全自然語言邏輯思想研究[D];燕山大學(xué);2011年
本文編號:2803607
本文鏈接:http://www.lk138.cn/shekelunwen/ljx/2803607.html