逻辑框架的语法,语用脑语义

下载PDF

导出

摘要逻辑模型架用以定义逻辑的类型系统，在爱丁保逻辑框架ＥＬＦ（Ｅｄｉｎｂｕｒｇｈｌｏｇｉｃａｌｆｒａｍｅ－ｗｏｒｋ）和马丁诺夫逻辑框架的基础上，本文提出了一个集两者优点一身的新型逻辑框架，此逻辑框架特别适用于语义分析，文中还给出一结如何在此逻辑框架中表示目标语言的应用实例。

作者傅育熙宋哲炫

出处《软件学报》 EI CSCD 北大核心 1996年第A00期224-231,共8页 Journal of Software

关键词逻辑框架类型理论泛类类型数理逻辑

1刘浩文,徐建国.疲劳裂纹扩展的逻辑框架[J].力学进展,1993,23(2):269-286. 被引量：1
2朱怡权.基于FI-代数的一个逻辑系统[J].模糊系统与数学,2005,19(2):25-29. 被引量：7
3李未,王飓安.类型理论和程序设计[J].计算机科学,1992,19(1):11-17.
4傅育熙.类型理论原理[J].软件学报,1997,8(A00):457-465. 被引量：1
5傅育熙.逻辑框架的范畴语义[J].软件学报,1997,8(A00):473-478.
6Xiaoming WANG.Examples of Boundary Layers Associated with the Incompressible Navier-Stokes Equations[J].Chinese Annals of Mathematics,Series B,2010,31(5):781-792.
7董瑞侠.“师生悖论”精析[J].武汉科技学院学报,2007,20(9):98-103.
8朱述知.R语言在统计学教学中应用初探[J].湛江师范学院学报,2014,35(3):48-51. 被引量：3
9张明义,张丹.分情形推理的缺省逻辑框架[J].中国科学（E辑）,1998,28(3):274-281. 被引量：1
10沈继忠.基于逻辑上的等价关系[J].江西师范大学学报（自然科学版）,1997,21(4):297-305. 被引量：1

软件学报

1996年第A00期

浏览历史

内容加载中请稍等...