首頁 > 期刊 > 自然科學與工程技術 > 基礎科學 > 基礎科學綜合 > 中山大學學報論叢 > 分支時空結構上的時空邏輯 【正文】
分支時空結構上的時空邏輯
劉虎 中山大學邏輯與認知研究所
- 時空結構
- 邏輯系統
- 空間關系
- 時間結構
- 公理系統
摘要：Belnap通過在分支時間結構上添加空間關系，提出了更一般化的分支時空結構。在本文中，我們首次為這種分支時空結構建立相應的邏輯系統。在該邏輯中，我們引入一個空間模態算子來表達模型中的空間關系。我們給出該邏輯的公理系統，并證明它的完備性。
- 時空結構
- 邏輯系統
- 空間關系
- 時間結構
- 公理系統
摘要：Belnap通過在分支時間結構上添加空間關系，提出了更一般化的分支時空結構。在本文中，我們首次為這種分支時空結構建立相應的邏輯系統。在該邏輯中，我們引入一個空間模態算子來表達模型中的空間關系。我們給出該邏輯的公理系統，并證明它的完備性。
注：因版權方要求，不能公開全文，如需全文，請咨詢雜志社
我們提供的服務
在線客服
一對一咨詢服務、簡單快捷、省時省力
了解更多 >
快遞配送
直郵到家、實時跟蹤、更安全更省心
了解更多 >
雜志訂閱
去除中間環節享受低價，物流進度實時通知
了解更多 >
雜志推薦
正版雜志，匹配度高、性價比高、成功率高
了解更多 >