基本介紹
- 中文名:模態代數
- 外文名:Modal algebra
在代數和邏輯中,模態代數是一種代數結構,具體定義請參見正文。模態代數提供了命題模態邏輯的模型,以和布爾代數是經典邏輯的模型相同的方式。特別是,所有模態代數的簇是在抽象代數邏輯意義下的模態邏輯 K 的等價代數語義,並且它的...
8.4 模態代數 8.5 可判定性 8.6 正規全可加冪集代數與框架的對應 8.7 表示定理 8.8 一般框架 8.9 兩點說明 第九章模態謂詞邏輯(Ⅰ)邏輯、演算和完全性 9.1 模態謂詞邏輯概述 9.2 形式語言及其語義分析 9.3 形式語義...
代數 代數是集合論的一個概念。定義 代數是在有限的交與補下閉的非空集類。性質 代數為包含單位元X的環。
正規模態 正規模態是2009年公布的大氣科學名詞。定義 正交規範化的波解。出處 《大氣科學名詞》。
第1章 計數模態語言 第2章 分次模態語言的關係語義學 第3章 分次模態余代數 第4章 公理系統和完全性 第5章 余代數對應理論 第6章 有限模型性質 第7章 公式的分類 第8章 分次模態邏輯的擴張 參考文獻 附錄A 模型論與泛代數 ...
布爾代數又稱“邏輯代數”,是英國數學家、邏輯學家布爾(George Boole)1815—1864所創立的一個代數系統。布爾認為,邏輯關係和某些數學運算甚為類似,代數系統可以有不同的解釋,把解釋推廣到邏輯領域,就可以構成一種思維的演算。命題代數...
模態振型,通俗地講是每階模態振動的形態。但從數學上講,模態振型是模態空間的“基”向量。線上性代數中,基向量是描述、刻畫向量空間的基本工具。向量空間中任意一個元素,都可以唯一地表示成基向量的線性組合。在模態空間,這個基向量...
多數實際上使用的模態系統(包括所有上面列出的)都有 FMP。在某些情況下,我們可以使用 FMP 來證明邏輯的 Kripke 完備性: 所有正規模態邏輯關於模態代數的類都是完備的,而有限的模態代數可以變換成 Kripke 框架。作為例子,Robert Bull ...
在命題邏輯和邏輯代數中,德·摩根定律(或稱德·摩根定理)是關於命題邏輯規律的一對法則。奧古斯都·德·摩根首先發現了在命題邏輯中存在著下面這些關係:非(P 且 Q) = (非 P) 或 (非 Q)非(P 或 Q) = (非 P) 且 (非 ...
第四章邏輯代數分布爾代數、真值代數和命題代數、類邏輯代數和集合代數、開關代數和機率代數四部分進行講解。第五章模態邏輯介紹了標準模態邏輯的產生;模態概念、命題及語義;模態邏輯演算;非標準模態邏輯概況。第六章機率邏輯。機率邏輯也...
申請人團隊已建立的Borel型機率計量邏輯是本項目申請時具有代表性的研究成果,本項目旨在前期研究基礎上從代數角度研究不確定性推理的廣義機率模型。本項目首先分別通過語義積分化、模態形式化和代數公理化三種“機率聚合真值”方法較系統梳理...