国产伦乱,一曲二曲欧美日韩,AV在线不卡免费在线不卡免费,搞91AV视频

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

弱連通傳遞框架類的命題邏輯

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

【相似文獻(xiàn)】

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

1 孫麗娜;;從“論式”看因明的邏輯性質(zhì)[J];黔南民族師范學(xué)院學(xué)報(bào);2008年01期

2 張?jiān)?有些同志是贊成選趙明的[J];思維與智慧;1985年04期

3 宮凱峰;復(fù)合直言推理芻議[J];齊齊哈爾大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1996年02期

4 許艷芳;;試論回溯推理[J];保定師范?茖W(xué)校學(xué)報(bào);2006年01期

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

6 杜珊;;NExtK4中瀕表格邏輯研究回顧[J];計(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)——評(píng)《經(jīng)典邏輯與直覺主義邏輯》[J];哲學(xué)動(dòng)態(tài);1990年04期

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

1 賈改琴;唐曉嘉;;知道謂詞邏輯系統(tǒng) K_(S5)+K_(BF)[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會(huì)議專輯[C];2006年

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

3 陳曉平;;談?wù)剬?shí)質(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ù)研討會(huì)論文集[C];2010年

10 張寶文;;論關(guān)系判斷[A];全國邏輯討論會(huì)論文選集[C];1979年

相關(guān)博士學(xué)位論文 前3條

1 張立娜;個(gè)體詞的邏輯語義[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 孫麗娜;言語交際中的語用推理述評(píng)[D];燕山大學(xué);2009年

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

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

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

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



本文編號(hào):2803607

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

本文鏈接:http://lk138.cn/shekelunwen/ljx/2803607.html


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

版權(quán)申明:資料由用戶e7b8b***提供,本站僅收錄摘要或目錄,作者需要?jiǎng)h除請E-mail郵箱bigeng88@qq.com
亚洲√成人精品√在线| 又粗又大又长又黄又| 日本中文字幕久久妻| 麻豆日日骚AV| 麻豆国产极品| 大香蕉大香蕉精品视频| 亚洲国产成AⅤ人天堂无码| 勒b视频在线观看免费| 一级黄色色大片| 日女人的黄网站| 日韩黄片国产| 小说国产精品最大| 国产在线97自拍| 欧美色精品中文| 午夜不卡福利| 最新人妻影院| 天天干天天色包狠狠| 日本老熟妇一区| 国产,欧美,日韩,亚洲一区二区| AV无码免费一区二区三区不卡| 午夜蜜桃网| 免费黄色片久久久| 超碰在线观看亚洲| AV色中和| 超碰免费色欲| 男用鸡巴个女生视频| 一级片壹级片壹级片壹级片壹级片| 国产欧美日韩一天区| 中文字幕A一点不卡| 台湾Aa免费视频| 欧美一车二卡在线看| 日韩在线中文不卡| 色大师av国产在线| 精品久久久久人成| 偷拍 亚洲一区| 久久青青草原亚洲AV无码网页| 国产一区一区| 欧亚男女午夜| 91熟女少妇一区二区三区视频| 欧美黄片视频下载| 日韩 高清 一区二区|