拉兹万·迪亚科内斯库 机构的额外理论形态:多仿生语言的逻辑语义。 (英语) Zbl 0919.68087号 申请。类别。结构。 6,第4期,427-453(1998年)。 摘要:我们将机构中理论态射的一般概念推广到额外的理论态射。额外理论形态将属于不同制度的理论映射到制度形态中。我们研究了支持逻辑多参数语言语义的额外理论形态的基本数学性质,特别是OBJ-Clear的结构规范(模块系统)。它们包括模型简化、自由构造(自由)、共限、模型合并(精确)和包含系统。我们通过扩展Clear-OBJ传统中开发的机构语义,概述了语义满足某些“逻辑”原则的语言的一般逻辑语义。最后,在附录中,我们用CafeOBJ的具体示例简要说明了这一点。 引用于10文件 MSC公司: 68问题55 计算理论中的语义学 65年第68季度 形式语言和自动机 18立方厘米 理论(例如代数理论)、结构和语义 03G30型 分类逻辑,拓扑 08A70号 泛代数在计算机科学中的应用 关键词:语言的逻辑语义;OBJ咖啡馆 软件:OBJ咖啡馆 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu},申请。类别。结构。6,第4号,427--453(1998;Zbl 0919.68087) 全文: 内政部