穆罕默德·哈立德;谢凯利（Székely，Gergely）;科恩Lefen;朋友，米歇尔 形式理论之间的距离。 （英语） Zbl 1485.03079号 版本符号。日志。 13，第3号，633-654（2020年）. 小结：在文献中，有几种方法和定义来确定两种理论是否“等价”（本质上相同）。在本文中，我们做了一些更微妙的工作。我们提供了一种测量形式理论之间距离（并探索联系）的方法。对于这种距离，我们引入了两个自然概念。第一个是公理距离，但我们认为这可能是有限的利益。更有趣且广泛适用的概念是概念距离它衡量区分两种理论的最小概念数量。例如，我们使用概念距离来表明相对论运动学和经典运动学只通过一个概念来区分。 引用于4文件 MSC公司： 03B80号 逻辑的其他应用 03A10号 科学哲学中的逻辑 03G15年 柱代数和多代数；关系代数 关键词：理论网络;不等效度;概念距离;相对论运动学和经典运动学 PDF格式BibTeX公司 XML格式引用 \textit｛M.Khaled｝等人，Rev.Symb。日志。13，编号3，633--654（2020；Zbl 1485.03079） 全文： 内政部 arXiv公司 参考文献： [1] Andréka，H.、Comer，S.D.、Madarász，J.X.、Németi，I.和Ahmed，T.S.（2009）。柱代数中的同胚和有限变量逻辑中的可定义性。《普遍代数》，61（3），261-282·Zbl 1184.03060号 [2] Andréka，H.、Madarász，J.X.和Németi，I.（2004年）。相对论的逻辑分析。在Hendricks，V.、Neuhaus，F.、Pedersen，S.A.、Schefler，U.和Wansing，H.的编辑中。重新审视一阶逻辑。柏林：Logos Verlag，第7-36页·Zbl 1096.03029号 [3] Andréka，H.、Madarász，J.X.和Németi，I.（2005）。相互定义并不意味着定义等价，这是一个简单的例子。《数学逻辑季刊》，51（6），591-597·Zbl 1079.03020号 [4] Andréka，H.、Madarász，J.X.、Németi，I.和székely，G.（2012）。从狭义相对论到广义相对论的逻辑之路。合成，186（3），633-649·Zbl 1275.03069号 [5] Andréka，H.、Madarász，J.X.、Németi，I.的贡献者：Andai，A.、Sági，G.、Sain，I.和Tőke，C.（2002）。论相对论的逻辑结构。研究报告，布达佩斯阿尔弗雷德·雷尼数学研究所：匈牙利科学院。网址：https://old.renyi.hu//pub/代数逻辑/Contents.html。 [6] Andréka，H.&Németi，I.（2017年）。圆柱代数有多少种变体。美国数学学会学报，369，8903-8937·Zbl 1423.03256号 [7] Andréka，H.、Van Benthem，J.和Németi，I.（1998年）。模态语言和谓词逻辑的有界片段。哲学逻辑杂志，27（3），217-274·Zbl 0919.03013号 [8] Baltag，A.和Smets，S.（2005年）。量子作用的完全公理化。国际理论物理杂志，44（12），2267-2282·Zbl 1110.81013号 [9] Banerjee，A.和Khaled，M.（2018）。在相对化语义上没有等式的一阶逻辑。《纯粹逻辑与应用逻辑年鉴》，169（11），1227-1242·Zbl 1453.03072号 [10] Barrett，T.W.和Halvorson，H.（2016）。格雷莫和奎因的理论等价性。《哲学逻辑杂志》，45（5），467-483·兹比尔1392.03024 [11] Carathéodory，C.（1909）。Untersuchungenüber死于热力学。Mathematische Annalen，第64页，第355-386页。 [12] Chang，H.（2012）。水是H2O吗？证据、现实主义和多元化。多德雷赫特：施普林格。 [13] 库珀，J.L.B.（1967）。热力学的基础。数学分析与应用杂志，17，172-193·Zbl 0163.23003号 [14] Fine，K.（1985年）。自然演绎和任意对象。《哲学逻辑杂志》，14（1），57-107·Zbl 0571.03004号 [15] Floyd，R.W.（1967年）。赋予程序意义。应用数学研讨会论文集，19，19-32·Zbl 0189.50204号 [16] 古德曼，N.（1943）。关于思想的简单性。符号逻辑杂志，8（4），107-121·Zbl 0060.02304号 [17] Henkin，L.（1950）。形式系统的完整性。普林斯顿大学博士论文·Zbl 0039.00801号 [18] Henkin，L.、Monk，J.和Tarski，A.（1971）。柱代数第一部分：阿姆斯特丹：北荷兰人·Zbl 0576.03043号 [19] Henkin，L.、Monk，J.和Tarski，A.（1985年）。圆柱代数第二部分。阿姆斯特丹：荷兰北部·Zbl 0576.03043号 [20] Hoare，C.A.R.（1969年）。计算机编程的公理基础。ACM通讯，12（10），576-583·Zbl 0179.23105号 [21] Japaridze，G.&Jongh，D.（1998年）。可证明性的逻辑。在S.R.Buss编辑中。《证明理论手册》，第137卷。阿姆斯特丹：Elsevier，第475-550页·Zbl 0915.03019号 [22] Khaled，M.（2019年）。非关联箭头框架的有限公理化完备理论。数学进展，346194-218·Zbl 1457.03043号 [23] Krause，D.&Arenhart，J.R.B.（2017）。科学理论的逻辑基础：语言、结构和模型。纽约：劳特利奇出版社·Zbl 1412.03002号 [24] Lefer，K.（2017年）。使用逻辑解释和定义等价性比较经典运动学和狭义相对论。布鲁塞尔Vrije大学博士论文。 [25] Lefer，K.&Székely，G.（2018a）。在一阶逻辑中比较经典运动学和相对论运动学。《逻辑与分析》，61（241），57-117·Zbl 1436.03097号 [26] Lefever，K.和Székely，G.（2018b）。关于定义等价于非分离语言的推广。《哲学逻辑杂志》，48（4），709-729·Zbl 1457.03024号 [27] Lieb，E.H.和Yngvason，J.（2000）。重新审视熵和热力学第二定律。《今日物理学》，53（4），32-37。 [28] Meyer，A.R.和Halpern，J.Y.（1982年）。编程语言的公理化定义：理论评估。计算机协会杂志，29（2），555-576·Zbl 0478.68009号 [29] Pinter，C.C.（1978年）。在定义等价和解释下保留的属性。Zeitschrift für mathematische Logik und Grundlagen der Mathematik，24481-488·Zbl 0408.03028号 [30] Ryll-Nardzewski，C.（1952年）。归纳公理在初等算术中的作用。数学基础，39，239-263·兹比尔0050.00701 [31] Visser，A.（2006年）。理论和解释的类别。在Enayat，A.、Kalantari，I.和Moniri，M.的编辑中。德黑兰的逻辑。2003年10月18日至22日举行的逻辑、代数和算术研讨会和会议记录，《逻辑讲义》，第26卷。马萨诸塞州韦尔斯利：ASL，A.K.Peters，Ltd.，第284-341页·Zbl 1107.03066号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。