首頁(yè) > 期刊 > 人文社會(huì)科學(xué) > 哲學(xué)與人文科學(xué) > 世界文學(xué) > 貴州工程應(yīng)用技術(shù)學(xué)院學(xué)報(bào) > 直覺主義謂詞邏輯與經(jīng)典謂詞邏輯的矢列演算系統(tǒng) 【正文】
直覺主義謂詞邏輯與經(jīng)典謂詞邏輯的矢列演算系統(tǒng)
余軍成 貴州工程應(yīng)用技術(shù)學(xué)院邏輯與文化研究中心; 貴州畢節(jié)551700
- 直覺主義謂詞邏輯
- 經(jīng)典謂詞邏輯
- 矢列演算系統(tǒng)
摘要：在達(dá)米特給出的直覺主義謂詞邏輯矢列演算系統(tǒng)的基礎(chǔ)上,構(gòu)造一個(gè)與等價(jià)的系統(tǒng)L^*,這有助于研究直覺主義命題邏輯的可判定性問題。與此同時(shí),還構(gòu)造經(jīng)典謂詞邏輯的矢列演算系統(tǒng)以及直覺主義謂詞邏輯的矢列演算系統(tǒng)LK^*,這有助于探討直覺主義邏輯與經(jīng)典邏輯之間關(guān)系。
- 直覺主義謂詞邏輯
- 經(jīng)典謂詞邏輯
- 矢列演算系統(tǒng)
摘要：在達(dá)米特給出的直覺主義謂詞邏輯矢列演算系統(tǒng)的基礎(chǔ)上,構(gòu)造一個(gè)與等價(jià)的系統(tǒng)L^*,這有助于研究直覺主義命題邏輯的可判定性問題。與此同時(shí),還構(gòu)造經(jīng)典謂詞邏輯的矢列演算系統(tǒng)以及直覺主義謂詞邏輯的矢列演算系統(tǒng)LK^*,這有助于探討直覺主義邏輯與經(jīng)典邏輯之間關(guān)系。
注：因版權(quán)方要求，不能公開全文，如需全文，請(qǐng)咨詢雜志社
貴州工程應(yīng)用技術(shù)學(xué)院學(xué)報(bào)
- 預(yù)計(jì)1個(gè)月內(nèi) 預(yù)計(jì)審稿周期
- 0.23 影響因子
- 教育 快捷分類
- 雙月刊 出版周期
主管單位：貴州工程應(yīng)用技術(shù)學(xué)院;主辦單位：貴州工程應(yīng)用技術(shù)學(xué)院
我們提供的服務(wù)
在線客服
一對(duì)一咨詢服務(wù)、簡(jiǎn)單快捷、省時(shí)省力
了解更多 >
快遞配送
直郵到家、實(shí)時(shí)跟蹤、更安全更省心
了解更多 >
雜志訂閱
去除中間環(huán)節(jié)享受低價(jià)，物流進(jìn)度實(shí)時(shí)通知
了解更多 >
雜志推薦
正版雜志，匹配度高、性價(jià)比高、成功率高
了解更多 >