×
阿比塞克·桑卡拉

一阶逻辑前缀类的Feferman-vought分解。 （英语） 兹伯利07727823

J.逻辑语言信息。 32，编号1，147-174（2023）.
摘要：费费曼-沃特定理提供了一种在结构不相交并集上评估一阶句子的方法，方法是将（瓦尔斐）分解为句子，这些句子可以在单个结构上进行评估，并使用命题公式组合这些评估的结果。这种分解通常可以大于\（\varphi\）。我们对一阶句子引入了prenex范式（PNF）的“树”推广，并证明了对于具有固定数量的量词交替的这种形式的输入句子，可以在句子大小的时间初等中获得Feferman-Vaugh分解。分解中的句子也在树PNF中，并且与输入句子具有相同数量的量词交替和相同的量词等级。我们通过考虑除不相交并之外的二进制操作，特别是可使用无量词翻译方案定义的类和操作，如连接、有序和和NLC-和，扩展了这一结果。

MSC公司：

03C13号机组 有限结构模型理论
03C40号 插值、保存、可定义性
03元52分 模型类的属性
05二氧化碳 树
05C38号 路径和循环
05C62号 图形表示（几何和交点表示等）
05C69号 具有特殊属性的顶点子集（支配集、独立集、团等）
05C75号 图族的结构特征

关键词：

费弗曼·沃特;分解，分解;前缀类;初级的;像总和一样
PDF格式BibTeX公司 XML格式引用
\textit{A.Sankaran}，J.Logic Lang.Inf.32，No.1，147--174（2023年；Zbl 07727823）
全文： 内政部 arXiv公司

参考文献：

[1] Blumensath，A。；科尔科姆贝特，T。；Löding，C.，《逻辑理论与兼容运算》，《逻辑与自动机》，273-106（2008）·Zbl 1244.03050号
[2] 库塞尔，B。；马萨诸塞州马考斯基；Rotics，U.，有界围宽图上的线性时间可解优化问题，计算系统理论，33，2，125-150（2000）·Zbl 1009.68102号 ·doi:10.1007/s002249910009
[3] Dawar，A.、Grohe，M.、Kreutzer，S.和Schweikardt，N.（2007年）。模型理论使公式变大。在自动化、语言和编程国际学术讨论会上（第913-924页）·Zbl 1171.03324号
[4] Droste，M.和Paul，E.（2018年）。加权mso逻辑的feferman-vought分解定理。在第43届计算机科学数学基础国际研讨会（MFCS 2018）上，Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik·Zbl 1528.03152号
[5] 埃尔伯菲尔德，M。；格罗，M。；Tantau，T.，《一阶逻辑和一元二阶逻辑一致的地方》，ACM计算逻辑汇刊（TOCL），17，4，1-18（2016）·Zbl 1407.03003号 ·doi:10.1145/2946799
[6] Emmer，M.、Khasidashvili，Z.、Korovin，K.和Voronkov，A.（2010年）。将工业硬件验证问题编码为有效的命题逻辑。2010年10月20日至23日，瑞士卢加诺，《计算机辅助设计形式方法会议录》（第137-144页）。
[7] 费金，R。；PG科莱蒂斯；米勒，RJ；Popa，L.，《数据交换：语义和查询回答》，《理论计算机科学》，336，1，89-124（2005）·Zbl 1080.68019号 ·doi:10.1016/j.tcs.2004.10.033
[8] Feferman，S。；Vaught，R.，代数系统乘积的一阶性质，《数学基础》，47，1，57-103（1959）·Zbl 0088.24803号 ·doi:10.4064/fm-47-1-57-103
[9] 弗里克，M。；Grohe，M.，《重新审视一阶和一元二阶逻辑的复杂性》，《纯粹和应用逻辑年鉴》，130，1-3，3-31（2004）·Zbl 1062.03032号 ·doi:10.1016/j.apal.004.01.007
[10] Göller，S。；Jung，JC；Lohrey，M.，分解模态和一阶理论的复杂性，ACM计算逻辑学报（TOCL），16，1，1-43（2015）·Zbl 1354.03053号 ·doi:10.1145/2699918
[11] Grohe，M.，《逻辑、图形和算法》，《逻辑与自动化》，2357-422（2008）·Zbl 1244.03053号
[12] Gulwani，S.（2010年）。程序合成中的维度。第12届国际ACM SIGPLAN声明性编程原理与实践研讨会会议记录，ACM，PPDP’10（第13-24页）。
[13] Haase，C.（2014）。Presburger算法的子类和弱EXP层次结构。第23届EACSL计算机科学逻辑年会（CSL）和第29届ACM/IEEE计算机科学逻辑研讨会（LICS）联合会议记录（第1-10页）·Zbl 1394.68153号
[14] Harwath，F.，关于Prenex范式大小的注释，《信息处理快报》，116，7，443-446（2016）·Zbl 1356.03047号 ·doi:10.1016/j.ipl.2016.03.005
[15] Harwath，F。；Heimberg，L。；Schweikardt，N.，有界度结构的保存和分解定理，计算机科学中的逻辑方法，11，4，1（2015）·兹比尔1448.03024 ·doi:10.2168/LMCS-11（4:17）2015年
[16] Lenzerini，M.（2002）。数据集成：理论视角。在第21届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会的会议记录中，ACM，PODS’02（第233-246页）。
[17] Libkin，L.（2013）。有限模型理论基础。斯普林格·Zbl 1060.03002号
[18] Makowsky，JA，Feferman-Vaugh定理的算法应用，《纯粹和应用逻辑年鉴》，126，1-3，159-213（2004）·邮编1099.03009 ·doi:10.1016/j.apal.2003.11.002
[19] 莫斯托夫斯基，A.，《论理论的直接产物》，《符号逻辑杂志》，17，1，1-31（1952）·Zbl 0047.00704号 ·doi:10.2307/2267454
[20] 皮斯卡，R。；de Moura，LM；Björner，N.，《使用DPLL和替换集有效判定命题逻辑》，《自动推理杂志》，44，4，401-424（2010）·兹比尔1197.03011 ·doi:10.1007/s10817-009-9161-6
[21] Reddy，C.R.和Loveland，D.W.（1978年）。带有有界量词交替的Presburger算法。第十届ACM计算理论研讨会论文集（第320-325页）·Zbl 1282.68142号
[22] Sankaran，A.（2018年）。对Łosi-Tarski保全理论的概括——争议概述。arXiv公司：1811.01014
[23] Sankaran，A.（2021年）。一阶逻辑前缀类的Feferman-Vaugh分解。《ICLA 2021会议记录》，第九届印度逻辑及其应用会议（第111-116页）。2021年3月4日至7日。https://www.isichennai.res.in/sujata/icla2021/proceedings.pdf。
[24] Stockmeyer，L.J.和Meyer，A.R.（1973）。需要指数时间的单词问题（初步报告）。第五届美国计算机学会计算机理论年会论文集，美国纽约州纽约市，STOC’73（第1-9页）·Zbl 0359.68050号
[25] 托马斯·W（1997）。Ehrenfeucht游戏、构词方法和序数词的单子理论。在《逻辑与计算机科学的结构》一书中，为纪念a.Ehrenfeucht，计算机科学课堂讲稿中的第1261号，所选的论文（第118-143页）。斯普林格·兹比尔0888.03002
[26] van Bergerem，S.和Schweikardt，N.（2021）。学习由权重聚合逻辑描述的概念。在Baier，C.，Goubault-Larrecq，J.（编辑），第29届EACSL计算机科学逻辑年会，CSL 20212021年1月25-28日，斯洛文尼亚卢布尔雅那（虚拟会议），达格斯图尔-莱布尼茨-泽特鲁姆für Informatik，LIPIcs（第183卷，第10:1-10:18页）。
[27] Wanke，E.，k-nlc图和多项式算法，离散应用数学，54，2-3，251-266（1994）·Zbl 0812.68106号 ·doi:10.1016/0166-218X（94）90026-4
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。