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

关于余代数逻辑的研究


第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 代数逻辑 7页 1下载券 逻辑代数...逻辑有两种不同层次和角度的含义:1,逻辑是一种说明顺序,也是一种思维规律,2,...
逻辑函数的代数化简法
逻辑函数的代数化简法授课教师:XXX 班级:XXXX 学号:XXXX 授课方法:讲授法、板...逻辑函数化简就是要消去与—或表达式中多余的乘积项和每个乘积项中多 余的变量...
第二章 逻辑代数的基本运算
它是用数学的方法来研究、 证明、推理放逻辑问题的一种数学工具。逻辑代数虽然...这些取值对应的最小项称为约束项,有些文献中也称为任意项、无关项、禁止项。...
逻辑代数基础
逻辑代数基础_自然科学_专业资料。逻辑代数基础 一、选择题(多项选择) 1. 以下表达式中符合逻辑运算法则的是 A.C·C=C2 B.1+1=10 C.0<1 。 C. 真与假...
2逻辑代数
掌握逻辑代数的基本规则 3.掌握逻辑函数的代数化简法 逻辑函数的基本定律和恒等式 逻辑代数的基本规则 重点: 逻辑函数的代数化简法 计算机、投影仪 题 目 学员姓名...
逻辑代数公式
逻辑代数公式_数学_自然科学_专业资料。逻辑代数公式: (1)交换律:A+B=B+A ,A· B=B· A (2)结合律:A+(B+C)=(A+B)+C,A· (B· C)=(A· B...
逻辑代数基础
逻辑代数基础 教学重点: 掌握逻辑代数的基本概念、 ...余类推。 ●当坐标轴为二个变量时,升序为 00,01...休闲农庄项目可行性研究报告 2014年建筑幕墙建筑装饰行业...
逻辑代数的基本定律及规则
逻辑代数的基本定律及规则文章来源:互联网 作者:佚名 发布时间:2012 年 05 月 26 日闭] 功能:打印本文 浏览次数: 1 次 评论:[已关 一、逻辑代数相等: 假定...
第二章 逻辑代数
第二章 逻辑代数_数学_自然科学_专业资料。第二章 逻辑代数基本定律 公式 0-1 定律 1?A = A A?A = A 1+A=1 0+A=A A+A=A A? A = 0 反演律...
逻辑代数初步
逻辑代数初步_高二数学_数学_高中教育_教育专区。江苏,中专,数学,第三册,教案 ...关于余代数逻辑的研究 暂无评价 6页 ¥2.00 第1章 逻辑代数 93页 免费 ...
更多相关标签:
代数余子式 | 代数余子式之和 | 余子式和代数余子式 | 代数余子式怎么求 | 代数余子式求行列式 | 矩阵的代数余子式 | 矩阵代数余子式 | 行列式的代数余子式 |