First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation

被引：2
|
作者：
Baaz, Matthias [1 ]
Lolic, Anela [1 ]
机构：
[1] Tech Univ Wien, Inst Diskrete Math & Geometrie 104, Vienna, Austria
来源：
FRONTIERS OF COMBINING SYSTEMS (FROCOS 2017) | 2017年 / 10483卷
基金：
奥地利科学基金会;
关键词：
Proof theory; Interpolation; Lattice-based many-valued logics; Godel logics; INTUITIONISTIC LOGIC; GODEL LOGICS;
D O I：
10.1007/978-3-319-66167-4_15
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper develops a general methodology to connect propositional and first-order interpolation. In fact, the existence of suitable skolemizations and of Herbrand expansions together with a propositional interpolant suffice to construct a first-order interpolant. This methodology is realized for lattice-based finitely-valued logics, the top element representing true and for (fragments of) infinitely-valued firstorder Godel logic, the logic of all linearly ordered constant domain Kripke frames.
引用
收藏
页码：265 / 280
页数：16
相关论文
共 50 条
  • [31] UNIFORM COMPACTNESS AND INTERPOLATION LEMMAS IN FIRST-ORDER LOGIC
    WEAVER, G
    JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 394 - 394
  • [32] Craig Interpolation for Decidable Fragments of First-Order Logic
    ten Cate, Balder
    32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
  • [33] Interpolation theory and first-order boundary value problems
    Everitt, WN
    Poulkou, A
    MATHEMATISCHE NACHRICHTEN, 2004, 269 : 116 - 128
  • [34] On AGM for Non-Classical Logics
    Renata Wassermann
    Journal of Philosophical Logic, 2011, 40 : 271 - 294
  • [35] On AGM for Non-Classical Logics
    Wassermann, Renata
    JOURNAL OF PHILOSOPHICAL LOGIC, 2011, 40 (02) : 271 - 294
  • [36] SEMANTICS FOR NON-CLASSICAL LOGICS
    NAGAI, S
    PROCEEDINGS OF THE JAPAN ACADEMY, 1973, 49 (05): : 337 - 340
  • [37] Pose and motion estimation from vision based on the first-order interpolation filter
    Wu, XD
    Wang, YN
    CHINESE JOURNAL OF ELECTRONICS, 2004, 13 (03): : 526 - 531
  • [38] On analytic interpolation with non-classical constraints for solving problems in robust control
    Ringh, Axel
    Karlsson, Johan
    Lindquist, Anders
    2021 AMERICAN CONTROL CONFERENCE (ACC), 2021, : 2374 - 2381
  • [39] META-CLASSICAL NON-CLASSICAL LOGICS
    Barrio, Eduardo
    Fiore, Camillo
    Pailos, Federico
    REVIEW OF SYMBOLIC LOGIC, 2024, 17 (04): : 1146 - 1171
  • [40] The Craig interpolation property in first-order Gödel logic
    Tavana, N. R.
    Pourmahdian, M.
    Khatami, S. M. A.
    FUZZY SETS AND SYSTEMS, 2024, 485
12345