scientific article; zbMATH DE number 2109539

MaRDI QIDQ4822149zbMATH OpenFDO

Authors A. P. Pyn'ko

Publication date 25 October 2004

zbMATH Keywords

many-valued logiccut eliminationsequent calculusalgebraic semanticsequality determinant

Mathematics Subject Classification ID

Many-valued logic (03B50) Cut-elimination and normal-form theorems (03F05) Abstract deductive systems (03B22) Other algebras related to logic (03G25)

Recommendations

• Many-place sequent calculi for finitely-valued logics
• Minimal sequent calculi for Lukasiewicz's finitely-valued logics
• Intuitionistic sequent calculi for finitely many-valued logics
• Finitely equivalential Gentzen systems associated with arbitrary finite algebras
• Cut elimination for Gentzen's sequent calculus with equality and logic of partial terms

Cited in

(8)

• Optimization of sequent calculi for finite-valued logics with equality determinant
• A novel approach to equality
• Subquasivarieties of implicative locally-finite quasivarieties
• Distributive-lattice semantics of sequent calculi with structural rules
• scientific article; zbMATH DE number 5220083 (Why is no real title available?)
• Many-place sequent calculi for finitely-valued logics
• Equality of consequence relations in finite-valued logical matrices
• A relative interpolation theorem for infinitary universal Horn logic and its applications

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4822149)