Pynko, Alexej P. Sequential calculi for many-valued logics with equality determinant. (English) Zbl 1061.03028 Bull. Sect. Log., Univ. Łódź, Dep. Log. 33, No. 1, 23-32 (2004). The notion “equality determinant” (a finite set of “designated propositional formulas”) is introduced. It is shown that a propositional finitely-valued logic with equality determinant admits a sequent calculus with the cut-elimination property. Furthermore it is proven that the consequence operations of cut-free versions of such sequent calculi are not algebraizible. Reviewer: Albert Hoogewijs (Gent) Cited in 2 ReviewsCited in 4 Documents MSC: 03B50 Many-valued logic 03B22 Abstract deductive systems 03F05 Cut-elimination and normal-form theorems 03G25 Other algebras related to logic Keywords:many-valued logic; equality determinant; sequent calculus; cut elimination; algebraic semantics PDFBibTeX XMLCite \textit{A. P. Pynko}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 33, No. 1, 23--32 (2004; Zbl 1061.03028)