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

关于余代数逻辑的研究


第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 所构 造 的 函子 是

相关文章:
逻辑代数初步
逻辑代数初步_高二数学_数学_高中教育_教育专区。江苏,中专,数学,第三册,教案 ...关于余代数逻辑的研究 暂无评价 6页 ¥2.00 第1章 逻辑代数 93页 免费 ...
逻辑代数测试题
逻辑代数测试题_理学_高等教育_教育专区。逻辑代数初步测试题姓名: 1、 (1100100)2 3、 (1011011001)2 二、将下列十进制数换算成二进制数(6 分) 1、 (102 ...
逻辑代数基础习题
逻辑代数基础》练习题及答案 [1.1] 将下列二进制数转为等值的十六进制数的...B 余类推。 [1.20] 将下列函数化为最简与或函数式。 (1) Y ? A ? C...
职高高二数学逻辑代数初步电子教案_
职高高二数学逻辑代数初步电子教案__数学_高中教育_教育专区。职业高中高二数学教案第四十六课时:二进制(一) 【教学目标】知识目标: (1) 理解二进制计数法, 了解...
逻辑之门:作者与译者的对话———约翰·范·本特姆教授...
目前, 我在模态逻辑的大部分研究工作是关于信息处理和理性主体的博弈, 因为我...近年来出 现了的对余代数、无穷串、自动机理论和范畴论的研究,这些也是模型论...
逻辑代数基础习题
逻辑代数基础习题_理学_高等教育_教育专区。逻辑代数基础习题第二章 [题 2.1] 选择题 题 逻辑代数基础 以下表达式中符合逻辑运算法则的是 A.C·C=C2 B.1+1...
逻辑代数初步总习题
授课日期 课题 年 月 日 第周 时数 2 课型 新授课 第 11 章 逻辑代数初步总复习 知识目标:了解二进制与十进制之间的转换;理解命题、真命题、假命 教学 题...
逻辑代数在逻辑电路中的应用
(2)逻辑代数的基本公式与规则? 见课本 86 页表 5-8 第二步:合作探究课堂学习合作探究一:观察比较以下两实例,写分析过程。例 1:逻辑电路的输出 Y 和输入 A...
逻辑代数的运算规则
逻辑代数的运算规则 逻辑代数的基本定律 逻辑代数的三个规则 1、代入规则 在任一逻辑等式中, 如果将等式两边所有出现的某一变量都代之以一个逻辑函数, 则此 ...
布尔代数在逻辑推理中的应用
布尔代数逻辑推理中的应用广州市轻工职业技术学校 杨光电【摘要】布尔代数采用数学方法研究抽象思维的规律,比较枯燥,学生不容易掌握,在 向学生介绍布尔代数的时候,...
更多相关标签:
代数余子式 | 代数余子式怎么求 | 余子式和代数余子式 | 矩阵的代数余子式 | 代数余子式之和 | 矩阵代数余子式 | 代数余子式求行列式 | 行列式代数余子式 |