首頁(yè) > 期刊 > 人文社會(huì)科學(xué) > 哲學(xué)與人文科學(xué) > 世界文學(xué) > 貴州工程應(yīng)用技術(shù)學(xué)院學(xué)報(bào) > 直覺(jué)主義謂詞邏輯與經(jīng)典謂詞邏輯的矢列演算系統(tǒng) 【正文】
直覺(jué)主義謂詞邏輯與經(jīng)典謂詞邏輯的矢列演算系統(tǒng)
余軍成 貴州工程應(yīng)用技術(shù)學(xué)院邏輯與文化研究中心; 貴州畢節(jié)551700
- 直覺(jué)主義謂詞邏輯
- 經(jīng)典謂詞邏輯
- 矢列演算系統(tǒng)
摘要：在達(dá)米特給出的直覺(jué)主義謂詞邏輯矢列演算系統(tǒng)的基礎(chǔ)上,構(gòu)造一個(gè)與等價(jià)的系統(tǒng)L^*,這有助于研究直覺(jué)主義命題邏輯的可判定性問(wèn)題。與此同時(shí),還構(gòu)造經(jīng)典謂詞邏輯的矢列演算系統(tǒng)以及直覺(jué)主義謂詞邏輯的矢列演算系統(tǒng)LK^*,這有助于探討直覺(jué)主義邏輯與經(jīng)典邏輯之間關(guān)系。
注：因版權(quán)方要求，不能公開(kāi)全文，如需全文，請(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é)院
