×
马克·艾吉尔;拉兹万·迪亚科内斯库

分层机构和基本同态。 （英语） Zbl 1189.03038号

信息处理。莱特。 103，第1期，第5-13页（2007年）.
摘要：对于传统的逻辑机构，当一个人将句子扩展到包含开放句子时，他们的满意度就会被参数化。例如，在一阶逻辑中，满意度通过未绑定变量的估值进行参数化，而在模态逻辑中，则通过可能世界进一步进行参数化。本文通过定义分层制度的新概念，提出了在作为制度的逻辑抽象设置中，满意度关系参数化的统一处理方法。在这个新框架中，初等模型同态的概念是独立于内部分层或初等图定义的。在这个抽象层次上，对连接词进行了塔斯基式的研究。这是对常用布尔连接词、量词和模态连接词的抽象统一方法。然后用连接词的这个新概念为分层制度证明了包含Tarski初等链定理的一般定理。

引用于7文件

MSC公司：

03B70号 计算机科学中的逻辑
03C95号 抽象模型理论
03G30型 分类逻辑，拓扑
68问题65 抽象数据类型；代数规范

关键词：

机构;初等同态;初等colimit定理;形式化方法
PDF格式BibTeX公司 XML格式引用
\textit{M.Aiguier}和\textit{R.Diaconescu}，Inf.过程。莱特。103，第1号，第5--13号（2007；Zbl 1189.03038）
全文： 内政部

参考文献：

[1] F.Barbier，Géneralisation et préservation au travers de la combination des logique des résultats de théorie des mod les standards liésála structuration des specifications algébriques，博士论文，埃弗里大学，2005年；F.Barbier，《现代化标准体系结构的逻辑组合》，埃弗里大学博士论文，2005年
[2] 比多特，M。；Hennicker，R.，《关于可观测性和可达性概念的集成》，（Proc.5th Int.Conf.Foundations of Software Science and Computation Structures（FOSSACS’2002）。程序。第五届国际软件科学与计算结构基础会议（FOSSACS’2002），计算机科学讲稿，第2303卷（2002），施普林格：施普林格柏林），21-36·Zbl 1077.68709号
[3] Borzyszkowski，T.，结构化规范的高阶逻辑和定理证明，（Choppy，C.；Bert，D.；Mosses，P.，代数开发技术研讨会，1999年。1999年代数开发技术研讨会，计算机科学讲稿，第1827卷（2000），施普林格：施普林格柏林），401-418·Zbl 0966.03010号
[4] Chang，C.C。；Keisler，H.J.，模型理论（1990），北荷兰：北荷兰阿姆斯特丹·Zbl 0697.03022号
[5] Cìrstea，C.，《将多分类协同代数模态逻辑制度化》，《计算机科学中的协同代数方法》，2002年。2002年计算机科学中的协同代数方法，《理论计算机科学电子笔记》（2002年）·Zbl 1270.03140号
[6] R.Diaconescu，机构依赖模型理论，图书草稿。（向作者询问当前草稿Razvan.Diaconescu@imar.ro; R.Diaconescu，机构依赖模型理论，图书草稿。（向作者询问当前草稿，网址为Razvan.Diaconescu@imar.ro
[7] Diaconescu，R.，《研究所依赖超产品》，《基础信息学》，55，3-4，321-348（2003）·Zbl 1036.03055号
[8] 迪亚科内斯库（Diaconescu，R.）。；Futatsugi，K.，面向对象代数规范中的行为一致性，通用计算机科学，6，1，74-96（2000），第一版作为JAIST技术报告IS-RR-98-0017F出版，1998年6月·兹伯利0963.68104
[9] Fiadeiro，J.L。；Costa，J.F.，《镜子，我手中的镜子：过程行为规范和模型之间的二重性》，《计算机科学中的数学结构》，6，4，353-373（1996）·Zbl 0857.68076号
[10] Gabbay，D.，Fibring Logics（1999），牛津大学出版社·Zbl 0909.03001号
[11] J.戈根。；Burstall，R.，《机构：规范和编程的抽象模型理论》，《计算机协会杂志》，39，1，95-146（1992）·Zbl 0799.68134号
[12] J.戈根。；Diaconescu，R.，《面向对象范式的代数语义》，（Ehrig，H.；Orejas，F.，《数据类型规范的最新趋势》，《计算机科学讲义》，第785卷（1994），施普林格），1-34·Zbl 0941.68637号
[13] J.戈根。；Rošu，G.，《隐藏更多的隐藏代数》，（Wing，J.M.；Woodcock，J.；Davies，J.，FM'99-正规方法。FM'99-Formal方法，计算机科学讲义，第1709卷（1999），Springer），1704-1719·Zbl 0953.68094号
[14] G&abreve；（&A）；在&abreve；中；，D。；Popescu，A.，《Tarski初等链定理的机构相关推广》，《逻辑与计算杂志》，16，6，713-735（2006）·Zbl 1123.03058号
[15] G&abreve；（&A）；在&abreve；中；，D。；Popescu，A.，《罗宾逊一致性定理的机构依赖证明》，Studia Logica，85，1，41-73（2007）·Zbl 1123.03059号
[16] Hennicker，R。；Bidoit，M.，《观察逻辑》，（Haeberer，A.M.，代数方法论和软件技术，AMAST’99。代数方法与软件技术，Proc。AMAST’99，计算机科学讲义，第1584卷（1999），Springer），263-277
[17] Y.Lamo，《多代数研究所——代数软件开发的一般框架》，博士论文，卑尔根大学，2003年；Y.Lamo，《多代数研究所——代数软件开发的一般框架》，博士论文，卑尔根大学，2003年
[18] Mossakowski，T。；Tarlecki，A。；Pawłowski，W.，《使用模型理论羊皮纸组合和表示逻辑系统》，（Parisi Presicce，F.，《代数发展技术的最新趋势》，第12期国际研讨会，《代数开发技术的最新动态》，第十二期国际研讨会，《计算机科学讲稿》，第1376卷（1998年），Springer），349至364·Zbl 0907.03030号
[19] 施罗德，L。；Mossakowski，T。；Lüth，C.，《制度框架中的类多态性》（Fiadeiro，J.，《代数发展技术的最新趋势》，第17届国际研讨会（WADT 2004）。代数发展技术的最新趋势，第17届国际会议。研讨会（WADT 2004），《计算机科学讲义》，第3423卷（2004年），施普林格：施普林格柏林），234-248·Zbl 1118.68562号
[20] Sernadas，A。；Sernadas，C。；Caleiro，C.，作为范畴结构的逻辑纤维化，《逻辑与计算杂志》，9，2，149-179（1999）·Zbl 0942.03064号
[21] Tarlecki，A.，《制度理论的比特与碎片》（Pitt，D.；Abramsky，S.；Poigné，A.；Rydeheard，D.，《分类理论与计算机编程夏季研讨会论文集》，《计算机科学讲义》，第240卷（1986），Springer），334-360·Zbl 0636.68029号
[22] 塔斯基，A。；Vaught，R.，《关系系统的算术扩展》，复合数学，13，81-102（1957）·Zbl 0091.01201号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。