On Interpolation and Symbol Elimination in Theory Extensions

Viorica Sofronie-Stokkermans

doi:10.23638/LMCS-14(3:23)2018

Viorica Sofronie-Stokkerman公司-论理论扩展中的插值与符号消去

lmcs:3157个-计算机科学中的逻辑方法，2018年9月24日，第14卷第3期-https://doi.org/10.23638/LMCS-14（3:23）2018年

论理论扩展中的插值与符号消去第条

作者：Viorica Sofrone-Stokkerman

本文研究了插值和符号消除的可能性在理论的扩展中{T} _0（0）$带有附加功能符号其属性通过一组子句公理化。我们分析情况我们可以依靠现有的$\mathcal中的符号消除机制{T} _0（0）$. 例如，这是如果基础理论允许量词消除，那么这是可能的。我们分析将这种方法扩展到基础理论不允许量词消除，但有一个模型完成。我们通过各种实例说明该方法。

https://doi.org/10.23638/LMCS-14（3:23）2018年

资料来源：arXiv.org:1702.06620

第14卷第3期

发布日期：2018年9月24日

验收日期：2018年8月9日

提交日期：2017年2月23日

关键词：计算机科学-计算机科学中的逻辑

许可证：归因4.0国际（CC BY 4.0）

文后参考文献

12引用本条的文件

西尔维奥·吉拉尔迪；亚历山德罗·贾诺拉；迪帕克·卡普尔；希亚拉·纳索，2023，具有长度和MaxDiff的阵列的插值结果，ACM计算逻辑事务，24，4，第1-33页，10.1145/3587161, https://doi.org/10.1145/3587161.

丹尼斯·佩特（Dennis Peuter）；Viorica Sofronie-Stokkerman公司,计算机科学课堂讲稿《符号消除和参数隐含问题的应用》，第43-622021页，10.1007/978-3-030-86205-3_3.

迭戈·卡尔瓦内斯；西尔维奥·吉拉尔迪；亚历山德罗·贾诺拉；马可·蒙塔利；安德烈·里夫金，2021，模型完整性，均匀插值和叠加微积分，自动推理杂志第65、7页，第941-969页，2007年10月10日/10817-021-09596-x, https://doi.org/10.1007/s10817-021-09596-x.

迭戈·卡尔瓦内斯；西尔维奥·吉拉尔迪；亚历山德罗·吉安诺拉；马可·蒙塔利；安德烈·里夫金2020年，基于SMT的数据软件过程验证：模型理论方法，意大利理工学院（米兰理工大学）第30、3页，第271-313页，10.1017/s096012952000067, http://hdl.handle.net/2434/730867.

Viorica Sofronie-Stokkerman公司2020年，《参数系统：验证与合成》，arXiv（康奈尔大学），173，2-3，第91-138页，10.3233/fi-2020-1918年, https://arxiv.org/abs/1910.05208.

丹尼斯·佩特（Dennis Peuter）；Viorica Sofronie-Stokkerman公司,arXiv（康奈尔大学）《关于参数系统的不变综合》，第385-4052019页，10.1007/978-3-030-29436-6_23, https://arxiv.org/abs/1905.12524.

迭戈·卡尔瓦内斯；西尔维奥·吉拉尔迪；亚历山德罗·贾诺拉；马尔科·蒙塔利；安德烈·里夫金2019年，第二届自动推理国际研讨会论文集：挑战、应用、方向、示范成果，理论计算机科学电子论文集第311页，第53-58页，10.4204/第311.9页, https://doi.org/10.4204/eptcs.311.9.

迭戈·卡尔瓦内斯；西尔维奥·吉拉尔迪；亚历山德罗·贾诺拉；马可·蒙塔利；安德烈·里夫金,计算机科学课堂讲稿《模型完整性、覆盖和叠加》，第142-160页，2019年，10.1007/978-3-030-29436-6_9.

迭戈·卡尔瓦内斯；西尔维奥·吉拉尔迪；亚历山德罗·贾诺拉；马尔科·蒙塔利；安德烈·里夫金,计算机科学课堂讲稿《从模型完整性到数据感知过程验证》，第212-239页，2019年，10.1007/978-3-030-22102-7_10.

陈明帅；王健（Jian Wang）；杰安；詹博华；迪帕克·卡普尔；等。,arXiv（康奈尔大学），NIL：学习非线性插值，第178-196页，2019年，10.1007/978-3-030-29436-6_11, http://arxiv.org/abs/1905.11625.

西尔维奥·吉拉尔迪；亚历山德罗·贾诺拉,计算机科学课堂讲稿《插值、合并和合并（非直接联合签名案）》，第316-332页，2017年，10.1007/978-3-319-66167-4_18.

Viorica Sofronie-Stokkerman公司,arXiv（康奈尔大学）《论理论扩展中的插值和符号消除》，第273-289页，2016年，10.1007/978-3-319-40229-1_19, http://arxiv.org/abs/1702.06620.

来源：OpenCitations、OpenAlex和Crossref

共享和导出

咨询统计

这个页面已经被浏览了1207次。

本文的PDF已下载428次。