SEQUENTIAL CALCULI FOR MANY-VALUED LOGICS WITH EQUALITY DETERMINANT
Alexej P. Pynko · 2004
We propose a general method of constructing sequential calculi with cut elimination property for propositional flnitely-valued logics with equality determinant. We then prove the non-algebraizability of the consequence operations of cut-free versions of such sequential calculi.