Next Article in Journal
Exact Solutions for a Class of Wick-Type Stochastic (3+1)-Dimensional Modified Benjamin–Bona–Mahony Equations
Next Article in Special Issue
The Zahl-Anzahl Distinction in Gottlob Frege: Arithmetic of Natural Numbers with Anzahl as a Primitive Term
Previous Article in Journal
General Linear Recurrence Sequences and Their Convolution Formulas
Previous Article in Special Issue
Hybrid Deduction–Refutation Systems
 
 
Article

Synthetic Tableaux with Unrestricted Cut for First-Order Theories

Department of Logic and Cognitive Science, Faculty of Psychology and Cognitive Science, Adam Mickiewicz University, ul. Szamarzewskiego 89a, 60-568 Poznań, Poland
*
Authors to whom correspondence should be addressed.
Axioms 2019, 8(4), 133; https://doi.org/10.3390/axioms8040133
Received: 14 August 2019 / Revised: 13 November 2019 / Accepted: 15 November 2019 / Published: 29 November 2019
(This article belongs to the Special Issue Deductive Systems in Traditional and Modern Logic)
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. View Full-Text
Keywords: synthetic tableaux; principle of bivalence; cut; first-order theory; universal axiom synthetic tableaux; principle of bivalence; cut; first-order theory; universal axiom
Show Figures

Figure 1

MDPI and ACS Style

Leszczyńska-Jasion, D.; Chlebowski, S. Synthetic Tableaux with Unrestricted Cut for First-Order Theories. Axioms 2019, 8, 133. https://doi.org/10.3390/axioms8040133

AMA Style

Leszczyńska-Jasion D, Chlebowski S. Synthetic Tableaux with Unrestricted Cut for First-Order Theories. Axioms. 2019; 8(4):133. https://doi.org/10.3390/axioms8040133

Chicago/Turabian Style

Leszczyńska-Jasion, Dorota, and Szymon Chlebowski. 2019. "Synthetic Tableaux with Unrestricted Cut for First-Order Theories" Axioms 8, no. 4: 133. https://doi.org/10.3390/axioms8040133

Find Other Styles
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Back to TopTop