<cite id="yyiou"><tbody id="yyiou"></tbody></cite>
<cite id="yyiou"><samp id="yyiou"></samp></cite>
  • <s id="yyiou"></s><bdo id="yyiou"><optgroup id="yyiou"></optgroup></bdo>
  • <cite id="yyiou"><tbody id="yyiou"></tbody></cite>

    首頁 > 期刊 > 人文社會科學 > 哲學與人文科學 > 世界文學 > 貴州工程應用技術學院學報 > 直覺主義謂詞邏輯與經典謂詞邏輯的矢列演算系統 【正文】

    直覺主義謂詞邏輯與經典謂詞邏輯的矢列演算系統

    余軍成 貴州工程應用技術學院邏輯與文化研究中心; 貴州畢節551700
    • 直覺主義謂詞邏輯
    • 經典謂詞邏輯
    • 矢列演算系統

    摘要:在達米特給出的直覺主義謂詞邏輯矢列演算系統的基礎上,構造一個與等價的系統L^*,這有助于研究直覺主義命題邏輯的可判定性問題。與此同時,還構造經典謂詞邏輯的矢列演算系統以及直覺主義謂詞邏輯的矢列演算系統LK^*,這有助于探討直覺主義邏輯與經典邏輯之間關系。

    注:因版權方要求,不能公開全文,如需全文,請咨詢雜志社

    投稿咨詢 文秘咨詢

    貴州工程應用技術學院學報

    • 預計1個月內 預計審稿周期
    • 0.23 影響因子
    • 教育 快捷分類
    • 雙月刊 出版周期

    主管單位:貴州工程應用技術學院;主辦單位:貴州工程應用技術學院

    我們提供的服務

    相關期刊

    服務流程: 確定期刊 支付定金 完成服務 支付尾款 在線咨詢
    主站蜘蛛池模板: 舟山市| 安徽省| 澎湖县| 新乐市| 邯郸县| 桂东县| 鄂托克旗| 福鼎市| 汕尾市| 泸水县| 蒲江县| 慈溪市| 扎兰屯市| 玛沁县| 林口县| 当涂县| 赣州市| 乌审旗| 左贡县| 旺苍县| 稻城县| 白山市| 丽江市| 南昌市| 浏阳市| 泉州市| 富平县| 古交市| 台湾省| 全州县| 英德市| 广饶县| 大洼县| 故城县| 江川县| 安国市| 高陵县| 剑川县| 宁海县| 迁安市| 上栗县|