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 条

[31] Pairs, sets and sequences in first-order theories
Albert Visser
Archive for Mathematical Logic, 2008, 47 : 299 - 326
[32] An analysis of the first-order form of gauge theories
Kiriushcheva, N.
Kuzmin, S. V.
McKeon, D. G. C.
CANADIAN JOURNAL OF PHYSICS, 2012, 90 (02) : 165 - 174
[33] No Inconsistencies in Fundamental First-Order Theories in Logic
Friedman, Harvey
Marek, Victor
COMMUNICATIONS OF THE ACM, 2018, 61 (10) : 6 - 6
[34] AN ADDENDUM TO: "Notes on models of first-order mereological theories"
Tsai, Hsing-chien
LOGIC AND LOGICAL PHILOSOPHY, 2015, 24 (04) : 483 - 483
[35] FORCING FOR COUNTABLE FIRST-ORDER THEORIES - PRELIMINARY REPORT
BOWEN, KA
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (03): : 564 - &
[36] Geometry of multisymplectic Hamiltonian first-order field theories
Echeverria-Enríquez, A
Muñoz-Lecanda, MC
Román-Roy, N
JOURNAL OF MATHEMATICAL PHYSICS, 2000, 41 (11) : 7402 - 7444
[37] Consistent first-order action functional for gauge theories
Gallagher, Priidik
Koivisto, Tomi S.
Marzola, Luca
Varrin, Ludovic
Zlosnik, Tom
PHYSICAL REVIEW D, 2024, 109 (06)
[38] First-order theories of subgroups of divisible Hahn products
Lucas, F
ANNALS OF PURE AND APPLIED LOGIC, 2003, 121 (2-3) : 261 - 279
[39] ON ELIMINABILITY AND DEFINABILITY OF AUXILIARY CONCEPTS IN FIRST-ORDER THEORIES
TUOMELA, R
JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (03) : 543 - &
[40] Representing first-order causal theories by logic programs
Ferraris, Paolo
Lee, Joohyung
Lierler, Yuliya
Lifschitz, Vladimir
Yang, Fangkai
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2012, 12 : 383 - 412

← 1 2 3 4 5 →