導覽
近期變更
隨機頁面
新手上路
新頁面
優質條目評選
繁體
不转换
简体
繁體
3.133.130.199
登入
工具
閱讀
檢視原始碼
特殊頁面
頁面資訊
求真百科歡迎當事人提供第一手真實資料,洗刷冤屈,終結網路霸凌。
檢視 关系语义 的原始碼
←
关系语义
前往:
導覽
、
搜尋
由於下列原因,您沒有權限進行 編輯此頁面 的動作:
您請求的操作只有這個群組的使用者能使用:
用戶
您可以檢視並複製此頁面的原始碼。
{| class="wikitable" align="right" |- | style="background: #66CCFF" align= center| '''<big>关系语义</big> ''' |- |[[File:Kripke.jpg|缩略图|居中|[https://img14.360buyimg.com/pop/g12/M00/06/19/rBEQYVGUteMIAAAAAARuL7Qc1jgAABVDALLflkABG5H387.jpg 原图链接]]] |- | style="background: #66CCFF" align= center| |- | align= light| 中文名: 关系语义 外文名: Kripke 别 名: 框架语义 建立时间: 1950年代晚期 创始人: Saul Kripke 混 淆: [[可能世界语义]] 性 质: [[模拟逻辑语义]] |} '''Kripke''' 语义(也叫做'''关系语义'''或框架语义,并经常混淆于可能世界语义)是模态逻辑系统的形式语义,于 1950 年代晚期和 1960 年代早期由 Saul Kripke 建立。它后来为另一个非经典逻辑,最重要的直觉逻辑所接受。Kripke 语义的发现是非经典逻辑开发中重大突破,因为这种逻辑的模型论在 Kripke 之前实际上是不存在的。
返回「
关系语义
」頁面