【摘要】：在維瑟(Albert Visser)的基本命題邏輯(BPL)基礎(chǔ)上增加公理(p→q)∨((p→q)→p)得到的邏輯LB相對于弱連通傳遞框架類是完全的。增加達米特(M.Dummett)公理(p→q)∨(q→p)得到的邏輯LD是不完全的。本文還證明LB具有有窮模型性質(zhì),但是不具有兩常元性質(zhì)和析取性質(zhì)。

【相似文獻】

相關(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];保定師范�？茖W(xué)校學(xué)報;2006年01期

5 劉新文;;函數(shù)完備性問題[J];重慶理工大學(xué)學(xué)報(社會科學(xué));2011年08期

6 杜珊;;NExtK4中瀕表格邏輯研究回顧[J];計算機科學(xué)與探索;2010年12期

7 李小虎;論關(guān)系命題的邏輯性質(zhì)[J];齊魯學(xué)刊;2001年01期

8 劉志杰;;試論假言判斷的運用與表達[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ì)蘊涵問題[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 姚志強;演繹推理中信念偏差效應(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 倪國強;廣義量詞理論對自然語言限定詞的研究[D];內(nèi)蒙古師范大學(xué);2009年

6 孫麗娜;言語交際中的語用推理述評[D];燕山大學(xué);2009年

7 陳珊;核證邏輯研究[D];中國社會科學(xué)院研究生院;2011年

8 任貴龍;達米特反應(yīng)在論的邏輯觀及其意義[D];山西大學(xué);2013年

9 李峰;論陳那因明的邏輯體系[D];復(fù)旦大學(xué);2010年

10 王曉亮;周禮全自然語言邏輯思想研究[D];燕山大學(xué);2011年

本文編號：2803607