当前位置:首页 >> 信息与通信 >>

关于余代数逻辑的研究


第2 6卷第 3期  21 0 1年 6月  成 都 信 息 工 程 学 院 学 报  V0 .   126 No.   3 J OUR NAL OF C ENG    H DU  UNI RS T O  N OR VE I Y  F I F MA ON T C TI   E HNOL OGY   Jn 0 1 u .2 1   文章 编 号 :1 7 —7 22 1 )3 0 7 ?6 6 11 4 ( 0  0 ?2 70   1 关 于余代数 逻辑 的研究  天  珊  吴 文璐  ( 南京航 空航 天 大 学计 算机 科 学与技 术 学 院 ,江 苏 南 京 2 0 1   1 0 6) 摘要 :余代数为各种各样 的模态逻辑提供一致 的语 义框架。L t S h6 e 证明 了任意 自雨子 的余代数类都有一个  uz crd r   rn . ak1的公 理化 。 反过来 , 每一个 rn . a k1的模态逻辑都有一个可靠 的 、 强完备 的余代数 语义 。 另一 ‘ , lmes u k   面 C e n  p e K 等 提  模态逻辑可 以描述成布尔代数 卜的 自函子 ,并基 于对偶理论研究余 代数逻辑 的可靠完备性 。通过对偶理论重新  证明了 rn . 的模 态逻辑都是余代数 的 ,并且 证明通过 对偶 理论 构造 来 的 函子和 S h6 e 所构造 的  子是等价 的。 ak 1 c rdr   关 键 词 :模 态逻辑 ;余代数 ;So e对偶 ;可靠性 ;完备性  tn 文 献 标 识 码 :A   中 国 分 类 号 :T 3 1   P 0. 4 1 引 言    余 代 数 为刻 画基 于状 态 的系统 提供 一般 框架 …,例 如标 记转 换 系统 、概率 系统 、邻 域 框架 、自动 机等 。把  模 态 逻辑 用 作余 代数 的规 范语 言 最早 Mos1 出 ,Mos s[提 2 s的余 代数 逻 辑构 造 方法 具有 一 般 『 生,可作 用 于一 大  类 函子 ,但 是语 言是 非标 准 的 ,没有 模 态词 ,公 式 的构 造依 赖于 函 子 ,也没 有完 备 的公理 系统 。其他 方法  J ,   把 函子 限定在语法上归纳定义的一类函子 , 这种限制允许使用标准语言 , 并且可以构造完备的公理系统。 采用  余 代 数模 态 逻辑 [,通 过谓 词提 升 解 释模态 词 ,在具 有 一般 I 4 l 生的同 时保 留 了模 态逻 辑 的语法 和语 义传 统 。   模 态 逻辑 是余 代 数合适 的规 范语 言 , 过来 , 代数 语 义捕 捉 了不 同的模 态逻 辑 的结构 相似性 , 反 余 例如 K ik  r e p 逻辑 、概率模态逻辑 ( ML)、条件逻辑 。L t Sh6e 证 明了任意 自函子 的余代数类都有一个 r k1 P u   crdr z a 一 的公  n 理化并且证明了给定一个 rn。 ak1的模态逻辑 C,可以构造一个函子  , 为C提供可靠完备的余代数语义。另  一 方面 , l es u k 等提}模态逻辑可 以描述成布尔代数 一的 自函子 , Ce n  p e m K I J 卜 并基于对偶理论研究余代数逻辑的  可 靠 完备 性 。通过 对 偶理论 重 新证 明了 rn 一 ak1的模态 逻辑 都是 余代 数 的 ,并且 证明通过 对偶 理论 构造 出来 的  函子 和 Sh6 e 所构 造 的 函子 是


相关文章:
若在行列式中,元素a的代数余子式的值是___._答案_百度高考
正确答案 在行列式中,元素a在第一行第二列, 那么化去第一行第二列得到a的代数余子式为: 解这个余子式的值为-2. 故元素a的代数余子式的值是-2.最新...
行列式中元素f的代数余子式是___._答案_百度高考
行列式中元素f的代数余子式是___. 正确答案及相关解析 正确答案 ah-gb 解析 解:由题意得元素f的代数余子式 M23==ah-gb 故答案为:ah-gb最新上传...
设行列式D=|aij|n,Aij是D中元素aij的代数余子式,则下列...
设行列式D=|aij|n,Aij是D中元素aij的代数余子式,则下列各式中正确的是()。 A. B. C. D._答案解析_2016年_一模/二模/三模/联考_图文_百度高考
设n阶方阵A的行列式|A|=0,且A中有一元素aij的代数余子...
设n阶方阵A的行列式|A|=0,且A中有一元素aij的代数余子式Aij≠0,则齐次线性方程组Ax=0的基础解系所含的向量个数为()。 A.0个 B.1个 C.2个 D.i+j...
子式和代数余子式
a nn 中,第 I 行(或第 j 列)的元素除 a ij 外都是零,那么这个行列式等于 a ij 与它代数余子式 A ij 的乘积: D= a ij A ij 证 我们只对行来...
行列式D=中元素7的代数余子式是___._答案_百度高考
行列式D=中元素7的代数余子式是___. 正确答案及相关解析 正确答案 - 解析 解:由题意得元素7的代数余子式是-. 故答案为:-. 最新上传...
行列式中元素8的代数余子式为___._答案_百度高考
数学 矩阵与变换...填空题 数学 矩阵与变换 行列式中元素8的代数余子式为___. 正确答案及相关解析 正确答案 =6 略 最新上传套卷2016年高考模拟 理...
若三阶行列式中第1行第2列的元素3的代数余子式的值是,...
若三阶行列式中第1行第2列的元素3的代数余子式的值是,则(其中是虚数单位,)的值是 。考察知识点简单复合函数的导数 同考题推荐...
...的某个行向量的模不大于行列式中元素0的代数余子式...
已知矩阵的某个行向量的模不大于行列式中元素0的代数余子式的值,求实数x的取值范围. 正确答案及相关解析 正确答案 解:∵行列式, ∴行列式中元素0的代数余子式...
代数余子式
代数余子式。线性代数的分项目的练习一、填空 2 1.行列式 1.行列式 5 1 3 ?5 x 中元素 x 的代数余子式值为 。 ?4 ?1 ?2 2 2.行列式 2.行列式 5...
更多相关标签: