【摘 要】
：
近年来,余代数成为国际逻辑学界研究的热点之一。余代数的基本理论建立于范畴论基础之上,而范畴论是关于对象和对象之间的箭头的理论,它是比集合论更加抽象、更加具有一般性
【基金项目】
：
国家社科基金青年项目“非良基集、余代数与模态逻辑研究”（10CZX034）.项目负责人：史璟.
论文部分内容阅读
近年来,余代数成为国际逻辑学界研究的热点之一。余代数的基本理论建立于范畴论基础之上,而范畴论是关于对象和对象之间的箭头的理论,它是比集合论更加抽象、更加具有一般性的理论,因此余代数也就成为非常抽象的数学结构。从广义上说,余代数处理基于状态的动态系统,比如理论计算机科学中的（加标）转换系统、模态逻辑的模型和框架等等,它是基于状态的动态系统的抽象模型。本文首先介绍余代数的基本概念,然后论述它在非良基集合论研究中的起源,接着说明余代数与模态逻辑的联系。最后,余代数提供了一种处理模态逻辑语义的抽象模型,因此具有十
其他文献
目的：探讨心房钠尿钛（ANP）对人胃癌AGS细胞增殖的影响及其分子机制。方法：Westernblot检测NPR-A在AGS细胞上的表达;BrdU细胞增殖检测试剂盒检测ANP对胃癌AGS细胞增殖的影响;cGMP
探讨肝细胞癌（HCC）组织中唾液酸化Lewis X（SLeX）和纤黏连蛋白（FN）表达及意义。应用免疫组化染色EliVision~（TM）plus二步法对HCC组织140例、癌旁肝组织30例、正常肝组织10例进行SLeX和
海德格尔和马克思作为哲学史上的两个革命家,前者通过对＂此在＂的现象学的存在论分析提出了＂语言是存在的家＂的命题,后者通过＂感性活动＂的存在论原则得出了＂语言是感性的自然界＂的结论
佛山市在创建卫生城市中,以健康教育为先导,强化市民健康意识的提高和环境的改变,先后被国家有关部门授予"国家卫生城市"、"洁净城市"、"国家园林城市"、"人类最宜居住城市"
目的调查农村居民对“健康大课堂”需求状况，为政府及卫生部门提供相关工作依据。方法对参加“健康大课堂”的1568名农村居民以面对面或集中访谈的形式进行调查，并分析记录资料
目的探讨健康教育对血液透析患者生存质量的影响。方法由专科医师对患者实施包括心理健康教育、饮食指导、适当运动及避免并发症等方面的健康教育,于健康教育前及健康教育后
流行性脑脊髓膜炎（简称流脑）是一种冬春季节常见的呼吸道传染病，多发生在11月至次年的5月，3、4月为发病高峰期。接种流脑疫苗是控制流脑发病的根本措施，但并不是所有人都适合接种
文章介绍了汽车爆胎的危害、爆胎产生的原因及目前主要防爆胎方法，并分析了一种客车爆胎应急安全装置的工作原理、安装方法，重点阐述了该装置的道路试验检测方法和应用前景。
个人向度作为传统社会向现代社会转型的重要视阈,离不开特定文化思想的背景支援,这突出地表现在：哲学对＂理念个人＂的逻辑预设;物理学对＂原子个人＂的单位分析;经济学对＂资本个人＂的架