Towards a proof theory for Henkin quantifiers

被引：0
|
作者：
Baaz, Matthias [1 ]
Lolic, Anela [2 ]
机构：
[1] TU Wien, Inst Discrete Math & Geometry, A-1040 Vienna, Austria
[2] TU Wien, Inst Log & Computat, A-1040 Vienna, Austria
来源：
JOURNAL OF LOGIC AND COMPUTATION | 2021年 / 31卷 / 01期
关键词：
Henkin quantifiers; sequent calculus; cut elimination;
D O I：
10.1093/logcom/exaa071
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper presents a methodology to construct globally sound but possibly locally unsound analytic calculi for partial theories of Henkin quantifiers. It is demonstrated that usual locally sound analytic calculi do not exist for any reasonable fragment of the full theory of Henkin quantifiers. This is due to the combination of strong and weak quantifier inferences in one quantifier rule.
引用
收藏
页码：40 / 66
页数：27
相关论文
共 50 条
  • [1] HENKIN AND FUNCTION QUANTIFIERS
    KRYNICKI, M
    VAANANEN, J
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1989, 43 (03) : 273 - 292
  • [2] Henkin quantifiers and the definability of truth
    Hyttinen, T
    Sandu, G
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2000, 29 (05) : 507 - 527
  • [3] Henkin Quantifiers and the Definability of Truth
    Tapani Hyttinen
    Gabriel Sandu
    [J]. Journal of Philosophical Logic, 2000, 29 : 507 - 527
  • [4] SOME APPLICATIONS OF HENKIN QUANTIFIERS
    BARWISE, J
    [J]. ISRAEL JOURNAL OF MATHEMATICS, 1976, 25 (1-2) : 47 - 63
  • [5] HENKIN QUANTIFIERS AND COMPLETE PROBLEMS
    BLASS, A
    GUREVICH, Y
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1986, 32 (01) : 1 - 16
  • [6] Spectra of formulae with Henkin quantifiers
    Golinska, J
    Zdanowski, K
    [J]. PHILOSOPHICAL DIMENSIONS OF LOGIC AND SCIENCE, 2003, 320 : 29 - 45
  • [7] DECIDABILITY PROBLEMS IN LANGUAGES WITH HENKIN QUANTIFIERS
    KRYNICKI, M
    MOSTOWSKI, M
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1992, 58 (02) : 149 - 172
  • [8] HENKIN QUANTIFIERS: LOGIC, GAMES, AND COMPUTATION
    Gurevich, Yuri
    Sevenster, Merlijn
    [J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2006, (89): : 136 - 155
  • [9] A Globally Sound Analytic Calculus for Henkin Quantifiers
    Baaz, Matthias
    Lolic, Anela
    [J]. LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020), 2020, 11972 : 128 - 143
  • [10] Degrees of logics with Henkin quantifiers in poor vocabularies
    Mostowski, M
    Zdanowski, K
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2004, 43 (05) : 691 - 702
12345