ISSN:
1572-8730
Keywords:
Sequent calculus
;
cut rule
;
structural rule
;
logical rule
;
many-sided sequent
;
Gentzen system
;
protoalgebraicity
;
accumulative Gentzen system
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Philosophy
Notes:
Abstract 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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1005243108996
Permalink