<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>

    首頁 > 期刊 > 人文社會科學 > 哲學與人文科學 > 邏輯學 > 邏輯學研究 > 深度和弱寬度有窮的傳遞邏輯的有窮可公理化 【正文】

    深度和弱寬度有窮的傳遞邏輯的有窮可公理化

    張炎 中國人民大學哲學院、哲學與認知科學跨學科平臺
    • 公理化
    • 邏輯
    • 寬度
    • 自然數
    • 證明

    摘要:這篇文章研究深度和弱寬度都有窮的傳遞邏輯類的可有窮公理化問題,并給出了正反兩方面的結論。在正面方面,本文證明了對每個深度有窮且弱寬度為1的傳遞邏輯L,如果L 的框架中反鏈的禁自返點基數都不大于某個自然數n,那么L 是有窮可公理化的。對于反面結論,本文證明了對任意n≥ 3 和k ≥ 2,存在深度為n 且弱寬度為k 的傳遞邏輯是不可有窮公理化的。

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

    投稿咨詢 免費咨詢 雜志訂閱

    我們提供的服務

    服務流程: 確定期刊 支付定金 完成服務 支付尾款 在線咨詢
    主站蜘蛛池模板: 通化县| 崇阳县| 绥宁县| 重庆市| 胶州市| 通辽市| 延长县| 盘山县| 新巴尔虎右旗| 芜湖市| 静宁县| 普宁市| 兖州市| 手机| 开封县| 宜兴市| 西充县| 临泽县| 吉安县| 民权县| 枣强县| 共和县| 阿拉善左旗| 明水县| 金川县| 隆安县| 孟州市| 五寨县| 罗甸县| 介休市| 灵川县| 建平县| 青岛市| 大厂| 汝南县| 西安市| 河池市| 霍州市| 河池市| 嘉黎县| 太白县|