Alexey Chentsov;尼基琴科、米科拉 作为制度的成分命名逻辑。 （英语） Zbl 1456.03054号 日志。Univers大学。 12，编号1-2，221-238（2018）. 摘要：组合命名逻辑（CNL）是面向程序的逻辑。它们基于不具有固定arity的部分谓词代数。这项工作的目的是将CNL呈现为机构。引入了一阶CNL的同态，证明了满足条件。考虑了经典一阶逻辑与制度的关系。概述了进一步调查的方向。 引用于1文件 MSC公司： 03B70号 计算机科学中的逻辑 03B10号机组 经典一阶逻辑 03C95号 抽象模型理论 03G30型 分类逻辑，拓扑 68问题65 抽象数据类型；代数规范 关键词：机构;一阶逻辑;部分谓词;拟元谓词;合成主格逻辑 PDF格式BibTeX公司 XML格式引用 \textit｛A.Chentsov｝和\textit｛M.Nikitchenko｝，日志。Univers大学。12，编号1--2，221--238（2018；Zbl 1456.03054） 全文： 内政部 参考文献： [1] Nikitchenko，M.，Shkilniak，S.：数学逻辑和算法理论。基辅塔拉斯·舍甫琴科国立大学出版社，基辅。乌克兰语（2008）·Zbl 1390.03031号 [2] Nikitchenko，M.，Chentsov，A.：内涵化数据的基础：预设、集合和命名。计算。科学。J.摩尔多瓦，第卷。20，第3期（60），第334-365页（2012年）·Zbl 1318.68074号 [3] 尼基琴科，M；Tymofiev，V，复合主格逻辑中的可满足性，Cent。欧洲期刊计算。科学。，2, 194-213, (2012) ·Zbl 1284.03199号 [4] 伊万诺夫，我；尼基琴科，M；Abraham，U，peterson算法互斥性的基于事件的证明，Formaliz。数学。，23, 325-331, (2015) ·兹比尔1334.68030 ·doi:10.1515/forma-2015-0026 [5] Nikitchenko，M.，Ivanov，I.，Kornilowicz，A.，Kryvolap，A.：关系主格数据上的扩展Floyd-Hoare逻辑。CCIS，卷。826第41-64页，查姆斯普林格。(2018) [6] 贝齐奥，J-Y，关于普遍逻辑的13个问题，布尔。第节。逻辑，35，133-150，（2006）·Zbl 1133.03301号 [7] 贝齐奥，J.-Y.（编辑）：《普遍逻辑：选集》。《通用逻辑研究》，施普林格巴塞尔出版社（2012）·Zbl 1237.03003号 [8] Mossakowski，T；Goguen，J；Diaconescu，右；Tarlecki，A；贝齐奥，J-Y（编辑），什么是逻辑？，111-133，（2007），Birkhäuser·Zbl 1143.03356号 ·doi:10.1007/978-3-7643-8354-17 [9] Diaconescu，R.：机构独立模型理论。Birkhäuser，巴塞尔（2008）·Zbl 1144.03001号 [10] Pierce，B.：类型和编程语言。麻省理工学院出版社，剑桥（2002）·Zbl 0995.68018号 [11] Rydeheard，D.，Burstall，R.：计算范畴理论。普伦蒂斯·霍尔，纽约（1988）·Zbl 0649.18001号 [12] Chentsov，A.：作为制度的多分类一阶复合主格逻辑，计算。科学。J.模具。，卷。24，第1（70）号，第27-54页（2016）[在线]。http://www.math.md/publications/csjm/issues/v24-n1/12089/ ·兹比尔1390.03030 [13] Mossakowski，T；Diaconescu，右；塔莱基，A，什么是逻辑翻译？，日志。大学，395-124，（2009）·Zbl 1255.03023号 ·doi:10.1007/s11787-009-0005-2 [14] 费尔南德斯，D。：翻译：逻辑之间相对表达的概括。arXiv:170608481（2017年） [15] Goguen，J.，Rosu，G.：制度形态，形式Asp。计算。，卷。13第3-5期，第274-306页（2002年）[在线]。https://doi.org/10.1007/s001650200013 ·Zbl 1001.68019号 [16] Sannella，D.，Tarlecki，A.：代数规范和正式软件开发的基础。理论计算机科学专著。EATCS系列。Springer-Verlag，柏林-海德堡（2012）·兹比尔1237.68129 [17] Nikitchenko，M.，Shkilniak，S.：将经典逻辑表示为拟元逻辑。摘自：《信息学数学基础会议论文集》（MFOI-2017），第133-138页（2017）[在线]。http://mfoi2017.math.md/mfoi2017_Proceedings.pdf [18] Charguéraud，A.：当地无名代表。J.汽车。原因。，卷。49第3期，第363-408页（2012年）【在线】。https://doi.org/10.1007/s10817-011-9225-2 ·Zbl 1260.68368号 [19] Kryvolap，A；尼基琴科，M；Schreiner，W，《为部分前置和后置条件扩展floyd-Hoare逻辑》，CCIS，412，355-378，（2013） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。