拉兹万·迪亚科内斯库 保存在许多有价值的真相机构中。 （英语） Zbl 1522.03350号 模糊集系统。 456, 38-71 (2023). 概要：（mathcal{L}）-制度理论代表了一种基于公理类别的多值真值模型理论方法。从技术上讲，制度是J.A.戈根和R.M.布尔斯托尔[J.Assoc.Compute.Mach.39，No.1，95-146（1992；兹比尔0799.68134)]l.在本文中，在（mathcal{l}）-制度的一般框架下，我们研究了模型的过滤乘积和子模型对句子满意度的保留性质，并将其应用于Horn句子。一般结果包括语义紧凑性和初始语义结果。我们的一般概念和结果应用于几个具体的多值逻辑系统。 理学硕士： 03G30型 分类逻辑，拓扑 03B50号 多值逻辑 03C95号 抽象模型理论 引文：Zbl 0799.68134号 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}，模糊集系统。45638--71（2023年；Zbl 1522.03350） 全文： 内政部 参考文献： [1] Marc Aiguier；Fabrice Barbier，《Beth可定义定理的机构依赖证明》，Stud.Log。，85, 3, 333-359 (2007) ·Zbl 1134.03043号 [2] Andréka，Hajnal；Németi，IstváN，Ło sh i引理适用于所有类别，Studia Sci。数学。挂。，1361-376（1978年）·Zbl 0502.03015号 [3] Andréka，Hajnal；Németi，IstváN，根据概念子范畴制定的一般公理化定理，（Csakany，B.；Fried，E.；Schmidt，E.T.，《通用代数》，《通用数学》，美国数学学会János Bolyai，第29卷（1981年），北卡罗来纳），13-35·Zbl 0489.03006号 [4] 约翰·L·贝尔。；艾伦·B·斯洛姆森（Allan B.Slomson），《模型和超制品》（1969），北荷兰·Zbl 0179.31402号 [5] 伯格斯特拉，简；Tucker，John，通过有限方程规范化方法描述可计算数据类型，（de Bakker，J.W.；van Leeuwen，Jan，Automata，《语言与编程》，第七次学术讨论会，《语言和编程》，《计算机科学讲义》，第81卷（1980），Springer），76-90·Zbl 0449.68003号 [6] Francis Borceux，《范畴代数手册》（1994），剑桥大学出版社·Zbl 0911.18001号 [7] Burmeister，Peter，《部分代数——导论》，代数大学。，15, 306-358 (1982) ·Zbl 0511.03014号 [8] Běhounek，Libor；皮特·辛图拉；Hájek，Petr，《数学模糊逻辑导论》，（Cintula，Petr；Hájak，Peter；Noguera，Carles，数学模糊逻辑手册，第1卷。数学模糊逻辑手册，第1卷，逻辑研究，第37卷（2011），学院出版物）·Zbl 1284.03175号 [9] Chang、Chen-Chung；Keisler，H.Jerome，模型理论（1990），北荷兰：北荷兰阿姆斯特丹·Zbl 0149.00402 [10] 彼得·辛图拉（Petr Cintula）；Hájek，Petr，《关于模糊谓词逻辑的理论和模型》，J.Symb。日志。，71, 3, 832-863 (2006) ·Zbl 1111.03030号 [11] Codescu，Mihai，《高阶逻辑的模型理论》（2007年），⑩coala NormalSuperioarBucurešti，硕士论文·Zbl 07649900号 [12] 维吉尔·埃米尔（Virgil Emil），卡兹内斯库（Cázánescu）；Roşu，Grigore，弱包含系统，数学。结构。计算。科学。，7, 2, 195-206 (1997) ·Zbl 0886.18001号 [13] Diaconescu、Rézvan、Grothendieck institutions、Appl。类别。结构。，10，4，383-402（2002），初步版本为IMAR预印本2-2000，ISSN 250-36382000年2月·Zbl 1008.68078号 [14] Diaconescu，Rézvan，研究所依赖超产品，Fundam。通知。，55，3-4，321-348（2003年）·Zbl 1036.03055号 [15] Diaconescu，Rézvan，《机构中的初等图》，J.Log。计算。，14, 5, 651-674 (2004) ·Zbl 1104.03036号 [16] Diaconescu，Rézvan，独立模型理论研究所（2008），Birkhäuser·Zbl 1144.03001号 [17] Diaconescu，Rézvan，关于多值逻辑模型的拟变量，数学。日志。Q.，57，2，194-203（2011）·Zbl 1241.03028号 [18] Diaconescu，Rézvan，机构中的结构归纳，Inf.Compute。，209, 9, 1197-1222 (2011) ·Zbl 1241.03073号 [19] Diaconescu，Rézvan，多值逻辑的机构语义，模糊集系统。，218, 32-52 (2013) ·Zbl 1307.03014号 [20] Diaconescu，Rézvan，分级结果：制度理论研究，软计算。，18, 7, 1247-1267 (2014) ·Zbl 1388.03068号 [21] Diaconescu，Răzvan，分层机构中的隐式Kripke语义和超乘积，J.Log。计算。，27, 5, 1577-1606 (2017) ·Zbl 1444.03185号 [22] 迪亚科内斯库，勒兹温；Ţuţu，Ionu \355；，关于结构化规范的代数，Theor。计算。科学。，412, 28, 3145-3174 (2011) ·Zbl 1252.68199号 [23] 迪亚科内斯库，勒兹温；约瑟夫·戈根（Joseph Goguen）；Stefaneas，Petros，模块化的逻辑支持，（Huet，Gerard；Plotkin，Gordon，逻辑环境，苏格兰爱丁堡研讨会论文集，1991年5月（1993），剑桥），83-130 [24] 迪亚科内斯库，勒兹温；Stefaneas、Petros、Ultraproducts和机构中的可能世界语义，Theor。计算。科学。，379, 1, 210-230 (2007) ·Zbl 1124.03047号 [25] 埃里格，哈特穆特；Mahr，Bernd，《代数规范基础1：方程和初始语义》，EATCS理论计算机科学专著，第6卷（1985），Springer·Zbl 0557.68013号 [26] 帕特里克·埃克隆德（Patrick Eklund）；Helgesson，Robert，机构的一元扩展，模糊集系统。，161, 2354-2368 (2010) ·Zbl 1229.03062号 [27] 何塞·费亚代罗。；Costa，JoséF.，《镜子，我手中的镜子：过程行为的规范和模型之间的二重性》，数学。结构。计算。科学。，6, 4, 353-373 (1996) ·Zbl 0857.68076号 [28] 尼古拉斯·加拉托斯；彼得·吉普森（Peter Jipsen）；托马斯·科瓦尔斯基；Ono，Hiroakira，《剩余格：亚结构逻辑的代数一瞥》（Residuated Lattices:A Algebraic Glimpse at Substructural Logics）（2007），爱思唯尔·Zbl 1171.03001号 [29] 约瑟夫·戈根（Joseph Goguen）；罗德·伯斯托尔（Rod Burstall），《机构：规范和编程的抽象模型理论》（Institutions:abstract model theory for specification and programming），J.Assoc.Comput。机器。，39, 1, 95-146 (1992) ·Zbl 0799.68134号 [30] 约瑟夫·戈根（Joseph Goguen）；Rošu，Grigore，在包容性机构上构建隐藏信息模块，（Owe，Olaf；Krogdahl，Stein；Lyche，Tom，From Object-Orientation to Formal Methods.From Object-Orientation to Formal Methods，Counter Science课堂讲稿，第2635卷（2004），Springer），96-123·Zbl 1278.68203号 [31] 约瑟夫·戈根；詹姆斯·撒切尔（James Thatcher），《初始代数语义》（Proceedings，15th Symposium on Switching and Automata Theory（1974），IEEE），63-77 [32] 约瑟夫·戈根（Joseph Goguen）；詹姆斯·撒切尔；Eric Wagner，《抽象数据类型规范、正确性和实现的初始代数方法》（Yeh，Raymond，《编程方法学的当前趋势》，IV（1978），Prentice-Hall），80-149，技术报告RC 6487，IBM T.J.Watson研究中心，1976年10月 [33] 罗伯特·戈德布拉特（Robert Goldblatt），《超现实讲座》，《数学研究生教材》，第188卷（1998），《斯普林格·弗拉格：斯普林格尔·弗拉格》，纽约，柏林，海德堡·Zbl 0911.03032号 [34] 乔治·格拉策（George Grätzer），《格理论：基础》（2011），施普林格：施普林格巴塞尔·Zbl 1233.06001号 [35] Hájek，Petr，《模糊逻辑的元数学》（1998），Kluwer·Zbl 0937.03030号 [36] Hussmann，Heinrich，《代数规范和代数程序中的非确定性》（1993），Birkhaüser·Zbl 0783.68008号 [37] Lamo，Yngve，《多代数研究所——代数软件开发的一般框架》（2003），卑尔根大学，博士论文·Zbl 1278.68207号 [38] Lindström，Per，《论初等逻辑的扩展》，Theoria，35，1-11（1969）·Zbl 0206.27202号 [39] 约翰·劳埃德，《逻辑编程基础》（1988），施普林格出版社：柏林施普林格·Zbl 0807.68001号 [40] Ło sh，Jerzy，Quelques remarques，theéorèmes et problèmes-sur les classes définishables d’algèbres，（形式系统的数学解释（1955），北荷兰：北荷兰阿姆斯特丹），98-113·Zbl 0068.24401号 [41] 莱恩（Lane），桑德斯·麦克（Saunders Mac），《工作数学家分类》（Categories for the Working Mathematician）（1998），斯普林格（Springer）·Zbl 0906.18001号 [42] Makkai，Michael，超积与范畴逻辑，（DiPrisco，C.A.，《数理逻辑方法》，《数理逻辑方法》，《数学讲义》，第1130卷（1985年），Springer出版社），222-309·Zbl 0582.03052号 [43] Matthiessen，Günter，强代数体范畴上的正则结构和强有限结构，Can。数学杂志。，30, 250-261 (1978) ·Zbl 0383.18003号 [44] 布莱恩·梅奥（Mayoh，Brian），画廊和机构（1985），奥胡斯大学，技术报告DAIMI PB-191·Zbl 0584.68019号 [45] Meseguer，José，成员代数作为方程规范的逻辑框架，（Parisi-Presence，F.，Proc.WADT'97）。程序。WADT’97，计算机科学讲义，第1376卷（1998年），Springer），18-61·Zbl 0903.08009号 [46] 莫萨科夫斯基（Till Mossakowski）；约瑟夫·戈根（Joseph Goguen）；迪亚科内斯库，勒兹温；塔莱基，安德烈杰，什么是逻辑？，（Béziau，Jean-Yves，Logica Universalis（2005），Birkhäuser），第113-133页·Zbl 1080.03028号 [47] Pavelka，Jan，《关于模糊逻辑I多值推理规则》，Z.Math。日志。格伦德尔。数学。，25, 45-52 (1979) ·Zbl 0435.03020号 [48] Reichel，Horst，《初始可计算性、代数规范和部分代数》（1987），克拉伦登·Zbl 0634.68001号 [49] 亚伯拉罕·罗宾逊（Abraham Robinson），《非标准分析》（1966年），北荷兰·Zbl 0151.00803号 [50] 罗什乌，格里戈尔，包容性等式逻辑中的公理化，数学。结构。计算。科学。，12, 5, 541-563 (2002) ·Zbl 1019.03050号 [51] 唐纳德·桑内拉（Donald Sannella）；Tarlecki，Andrzej，《代数规范和形式化软件开发基础》（2012），施普林格出版社·Zbl 1237.68129号 [52] Tarlecki，Andrzej，《机构理论的比特与碎片》（Pitt，David；Abramsky，Samson；Poigné，Axel；Rydeheard，David，《类别理论与计算机编程夏季研讨会论文集》，《类别论与计算机编程暑期研讨会论文集，计算机科学讲义》，第240卷（1986），Springer），334-360个·Zbl 0636.68029号 [53] Andrzej Tarlecki，《关于抽象代数机构中自由模型的存在性》，Theor。计算。科学。，37, 269-304 (1986) ·Zbl 0608.68014号 [54] Tarlecki，Andrzej，抽象代数机构中的拟变量，J.Compute。系统。科学。，33, 3, 333-360 (1986) ·兹比尔06226.88033 [55] Walicki，Michał，不确定性的代数规范（1993），卑尔根大学信息学系，博士论文 [56] 米查·瓦利基；Meldal，Sigurd，《不确定性的代数方法——概述》，《ACM计算》。调查。，29, 30-81 (1997) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。