Studia Logica 65 (1):53-89 (2000)
In this paper we show that, in Gentzen systems, there is a close relation between two of the main characters in algebraic logic and proof theory respectively: protoalgebraicity and the cut rule. We give certain conditions under which a Gentzen system is protoalgebraic if and only if it possesses the cut rule. To obtain this equivalence, we limit our discussion to what we call regular sequent calculi, which are those comprising some of the structural rules and some logical rules, in a sense we make precise. We note that this restricted set of rules includes all the usual rules in the literature. We also stress the difference between the case of two-sided sequents and the case of many-sided sequents, in which more conditions are needed.
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Representations of Structural Closure Operators.José Gil-Férez - 2011 - Archive for Mathematical Logic 50 (1-2):45-73.
Correspondences Between Gentzen and Hilbert Systems.J. G. Raftery - 2006 - Journal of Symbolic Logic 71 (3):903 - 957.
Categorical Abstract Algebraic Logic: Gentzen Π ‐Institutions and the Deduction‐Detachment Property.George Voutsadakis - 2005 - Mathematical Logic Quarterly 51 (6):570-578.
Similar books and articles
Four Relevant Gentzen Systems.Steve Giambrone & Aleksandar Kron - 1987 - Studia Logica 46 (1):55 - 71.
On Purported Gentzen Formulations of Two Positive Relevent Logics.Steve Giambrone - 1985 - Studia Logica 44 (3):233 - 236.
Gentzen Formulations of Two Positive Relevance Logics.Aleksandar Kron - 1981 - Studia Logica 40 (3):381 - 403.
Gentzen Formulations of Two Positive Relevance Logics.Aleksandar Kron - 1980 - Studia Logica 39 (4):381 - 403.
On Different Intuitionistic Calculi and Embeddings From Int to S.Uwe Egly - 2001 - Studia Logica 69 (2):249-277.
Sequent Calculi and Decision Procedures for Weak Modal Systems.René Lavendhomme & Thierry Lucas - 2000 - Studia Logica 66 (1):121-145.
Substructural Implicational Logics Including the Relevant Logic E.Ryo Kashima & Norihiro Kamide - 1999 - Studia Logica 63 (2):181-212.
Added to index2009-01-28
Total downloads18 ( #267,950 of 2,158,464 )
Recent downloads (6 months)6 ( #53,120 of 2,158,464 )
How can I increase my downloads?