期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到7篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
正则序类方程逻辑的Institution 被引量：1
1
作者 刘富春 《江西师范大学学报（自然科学版）》 CAS 1997年第4期318-322,共5页
该文较为巧妙地证明了ＳａｔｉｓｆａｃｔｉｏｎＣｏｎｄｉｔｉｏｎ，建立了一个正则序类方程逻辑的Ｉｎｓｔｉｔｕｔｉｏｎ．
关键词 抽象模型论 程序设计 正则序类 INSTITUTION
下载PDF
Liberal理论态射的一些性质 被引量：1
2
作者 刘富春 《江西师范大学学报（自然科学版）》 CAS 1997年第1期17-21,80,共6页
该文构作了一个ｌｉｂｅｒａｌ理论范畴Ｔｈｌ，讨论了ｌｉｂｅｒａｌ理论态射的一些性质．得到了Ｐｅｒｓｉｓｔｅｎｔ函子的一个刻划定理，同时也得到了Ｆｆｒｅｅ，Ｆｇｅｎｅｒａｔｅｄ。
关键词 抽象模型论 L理论态射 Persistent函子
下载PDF
逻辑L′ω_1ω及其上的几个保持性定理 被引量：1
3
作者 童雪 《数学研究》 CSCD 2001年第2期187-192,共6页
在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理 .
关键词 пn语句 常量引理 保持性定理 抽象模型论 逻辑
下载PDF
正则序类逻辑Institution的Lawvere定理及其初始与终结语义
4
作者 刘富春 《软件学报》 EI CSCD 北大核心 2005年第7期1205-1209,共5页
主要考虑了以下3个问题:(1)通过将正则序类理论态射φ延拓为多类型理论态射,得到了模型函子()·和()#都与φ可交换的结论;(2)获得了正则序类逻辑Institution的Lawvere定理;(3)讨论了正则序类逻辑Institution中合并理论与各因子理论... 主要考虑了以下3个问题:(1)通过将正则序类理论态射φ延拓为多类型理论态射,得到了模型函子()·和()#都与φ可交换的结论;(2)获得了正则序类逻辑Institution的Lawvere定理;(3)讨论了正则序类逻辑Institution中合并理论与各因子理论的初始和终结语义. 展开更多
关键词 代数语义学 程序规范说明 抽象模型论 范畴论
下载PDF
Institution 中理论与模型的闭包定理
5
作者 刘富春 《广东工业大学学报》 CAS 1998年第1期83-86,共4页
在一般的逻辑框架Ｉｎｓｔｉｔｕｔｉｏｎ中，研究了理论与模型的一些性质，特别是得到了理论的闭包定理和与之相应的模型的闭包定理．
关键词 程序规范说明 抽象模型论 范畴论
下载PDF
关于Institution范畴式定义的注记
6
作者 刘富春 《江西师范大学学报（自然科学版）》 CAS 1997年第2期121-126,共6页
该文构造了范畴Ｔｒｅｌ和（１Ｓｅｔ↓／Ｕ↑）ＯＰ之间的同构。
关键词 抽象模型论 范畴式 范畴同构 INSTITUTION
下载PDF
评《逻辑百科辞典》
7
作者 宋文坚 刘壮虎 《哲学动态》 CSSCI 北大核心 1996年第12期35-35,共1页
评《逻辑百科辞典》宋文坚刘壮虎（北大哲学系）一部好的专业辞书相当于一套完整的专业教材，中国社会科学院周礼全先生主编的《逻辑百科辞典》（四川教育出版社１９９４年出版，以下简称《辞典》）给人的就是这样的感觉。大型的逻辑工... 评《逻辑百科辞典》宋文坚刘壮虎（北大哲学系）一部好的专业辞书相当于一套完整的专业教材，中国社会科学院周礼全先生主编的《逻辑百科辞典》（四川教育出版社１９９４年出版，以下简称《辞典》）给人的就是这样的感觉。大型的逻辑工具书，我国目前已出版四、五套，均各... 展开更多
关键词 百科辞典 哲学逻辑 传统逻辑 逻辑工具 语言逻辑 抽象模型论 主题词 逻辑部分 描述集合论 普通逻辑
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部