Synthetic Tableaux with Unrestricted Cut for First-Order Theories

被引：3
|
作者：
Leszczynska-Jasion, Dorota [1 ]
Chlebowski, Szymon [1 ]
机构：
[1] Adam Mickiewicz Univ, Fac Psychol & Cognit Sci, Dept Log & Cognit Sci, Ul Szamarzewskiego 89a, PL-60568 Poznan, Poland
来源：
AXIOMS | 2019年 / 8卷 / 04期
关键词：
synthetic tableaux; principle of bivalence; cut; first-order theory; universal axiom;
D O I：
10.3390/axioms8040133
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
The method of synthetic tableaux is a cut-based tableau system with synthesizing rules introducing complex formulas. In this paper, we present the method of synthetic tableaux for Classical First-Order Logic, and we propose a strategy of extending the system to first-order theories axiomatized by universal axioms. The strategy was inspired by the works of Negri and von Plato. We illustrate the strategy with two examples: synthetic tableaux systems for identity and for partial order.
引用
收藏
页数：25
相关论文
共 50 条
  • [41] A full first-order constraint solver for decomposable theories
    Khalil Djelloul
    Annals of Mathematics and Artificial Intelligence, 2009, 56 : 43 - 64
  • [42] A full first-order constraint solver for decomposable theories
    Djelloul, Khalil
    INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS, 2008, 5144 : 93 - 108
  • [43] A full first-order constraint solver for decomposable theories
    Djelloul, Khalil
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2009, 56 (01) : 43 - 64
  • [44] Relating first-order set theories and elementary toposes
    Awodey, Steve
    Butz, Carsten
    Simpson, Alex
    Streicher, Thomas
    BULLETIN OF SYMBOLIC LOGIC, 2007, 13 (03) : 340 - 358
  • [45] Geometry of Lagrangian first-order classical field theories
    EcheverriaEnriquez, A
    MunozLecanda, MC
    RomanRoy, N
    FORTSCHRITTE DER PHYSIK-PROGRESS OF PHYSICS, 1996, 44 (03): : 235 - 280
  • [46] Krull dimension of types in a class of first-order theories
    Zambella, Domenico
    TURKISH JOURNAL OF MATHEMATICS, 2011, 35 (02) : 323 - 331
  • [47] New first-order shear deformation plate theories
    Shimpi, R. P.
    Patel, H. G.
    Arya, H.
    JOURNAL OF APPLIED MECHANICS-TRANSACTIONS OF THE ASME, 2007, 74 (03): : 523 - 533
  • [48] Routh reduction for first-order Lagrangian field theories
    Capriotti, Santiago
    Garcia-Torano Andres, Eduardo
    LETTERS IN MATHEMATICAL PHYSICS, 2019, 109 (06) : 1343 - 1376
  • [49] FINITELY INSEPARABLE FIRST-ORDER AXIOMATIZED MEREOTOPOLOGICAL THEORIES
    Tsai, Hsing-chien
    LOGIC AND LOGICAL PHILOSOPHY, 2013, 22 (03) : 347 - 363
  • [50] Combinations of Theories for Decidable Fragments of First-Order Logic
    Fontaine, Pascal
    FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2009, 5749 : 263 - 278
12345