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

    首頁 > 期刊 > 自然科學與工程技術 > 基礎科學 > 基礎科學綜合 > 中山大學學報論叢 > 分支時空結構上的時空邏輯 【正文】

    分支時空結構上的時空邏輯

    劉虎 中山大學邏輯與認知研究所
    • 時空結構
    • 邏輯系統
    • 空間關系
    • 時間結構
    • 公理系統

    摘要:Belnap通過在分支時間結構上添加空間關系,提出了更一般化的分支時空結構。在本文中,我們首次為這種分支時空結構建立相應的邏輯系統。在該邏輯中,我們引入一個空間模態算子來表達模型中的空間關系。我們給出該邏輯的公理系統,并證明它的完備性。

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

    投稿咨詢 免費咨詢

    我們提供的服務

    服務流程: 確定期刊 支付定金 完成服務 支付尾款 在線咨詢
    主站蜘蛛池模板: 集安市| 淮阳县| 太白县| 介休市| 清水县| 图片| 海宁市| 于田县| 巴南区| 光泽县| 青田县| 历史| 山阴县| 藁城市| 呈贡县| 十堰市| 大港区| 青阳县| 台前县| 和静县| 灵川县| 三都| 哈巴河县| 岳阳县| 红安县| 海盐县| 普定县| 扶绥县| 天全县| 奉化市| 花莲市| 平南县| 札达县| 依兰县| 绿春县| 探索| 安福县| 喀喇沁旗| 蕉岭县| 灵璧县| 黄浦区|