期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

逻辑框架的范畴语义

下载PDF

导出

摘要本文研究逻辑框架的范畴语义，给出逻辑框架模型论中一重要定理－内范涛定理。在此基础上，本文研究逻辑框架编码的语义，给出了可定义性及可编码性定义。

作者傅育熙

机构地区上海交通大学

出处《软件学报》 EI CSCD 北大核心 1997年第A00期473-478,共6页 Journal of Software

关键词逻辑框架范畴语义内范畴数据理逻辑

分类号 O141 [理学—基础数学]

引文网络
相关文献

1刘浩文,徐建国.疲劳裂纹扩展的逻辑框架[J].力学进展,1993,23(2):269-286. 被引量：1
2朱怡权.基于FI-代数的一个逻辑系统[J].模糊系统与数学,2005,19(2):25-29. 被引量：7
3张德学.L-收敛空间(英文)[J].四川大学学报（自然科学版）,1999,36(6):989-999.
4董瑞侠.“师生悖论”精析[J].武汉科技学院学报,2007,20(9):98-103.
5傅育熙,宋哲炫.逻辑框架的语法,语用脑语义[J].软件学报,1996,7(A00):224-231.
6张明义,张丹.分情形推理的缺省逻辑框架[J].中国科学（E辑）,1998,28(3):274-281. 被引量：1
7沈继忠.基于逻辑上的等价关系[J].江西师范大学学报（自然科学版）,1997,21(4):297-305. 被引量：1
8沈继忠.基于完全剩余格值逻辑上的半群（Ⅰ）[J].江西师范大学学报（自然科学版）,1996,20(3):241-247. 被引量：1
9宋小震.格值可逆自动机的代数性质[J].价值工程,2011,30(23):156-157.
10宋方敏.Martin-Löf类型论中不交和的推广和有穷类型的可定义性[J].数学年刊(A辑),1994,1(4):472-477.

软件学报

1997年第A00期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部