a国产,中文字幕久久波多野结衣AV,欧美粗大猛烈老熟妇,女人av天堂

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

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

發(fā)布時(shí)間:2020-08-25 10:46
【摘要】:在維瑟(Albert Visser)的基本命題邏輯(BPL)基礎(chǔ)上增加公理(p→q)∨((p→q)→p)得到的邏輯LB相對(duì)于弱連通傳遞框架類是完全的。增加達(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];保定師范專科學(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 諸葛殷同;;對(duì)傳統(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);廣義量詞理論對(duì)自然語言限定詞的研究[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://www.wukwdryxk.cn/shekelunwen/ljx/2803607.html


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

版權(quán)申明:資料由用戶e7b8b***提供,本站僅收錄摘要或目錄,作者需要?jiǎng)h除請(qǐng)E-mail郵箱bigeng88@qq.com
日韩内射激情视频在线播放免费 | 无码中文字幕色专区| 女人被狂躁的高潮免费视频| 欧美a一级| 高潮毛片无遮挡高清视频播放| 永久免费的啪啪网站免费观看| 人妻无码专区av中文字幕| 秋霞午夜鲁丝一区二区老狼| 久久v| 亚洲国产精品无码一线岛国| 国产精品VA无码免费麻豆| 伊人久久亚洲综合影院首页| 亚洲啪啪| 超碰95| 日韩黄片| 欧美激情久久久| 国产99视频精品免视看7| 东京热男人av天堂| 免费a级毛片无码a∨蜜芽试看| 国产精品伦一区二区三级视频| 羞羞影院午夜男女爽爽免费| 中文字幕无码专区人妻系列| 国产一区91| 一鲁丝二鲁丝三鲁丝| 国产日韩我精品| 欧美人与动牲交xxxxbbbb| nba直播无插件在线观看| 亚洲av第一网站久章草| 野花日本免费完整版高清版3| 人人妻人人爽人人添夜夜视频av| www.午夜福利| 天堂网在线观看| 国产精品亚洲专区无码电影| 日本在线精品视频观看| 国产精品亚洲欧美大片在线看| 无码不卡AV东京热毛片| 久久不见久久见免费影院国语| 亚洲国产精品无码一区二区三区| 任我爽精品视频在线观看| zzijzzij亚洲日本少妇| 秋霞国产精品一区二区|