scientific article; zbMATH DE number 2109539

zbMATH Open1061.03028MaRDI QIDQ4822149FDOQ4822149

Authors: A. P. Pyn'ko 

Publication date: 25 October 2004

Title of this publication is not available (Why is that?)

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

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)

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
• Title not available (Why is that?)
• Distributive-lattice semantics of sequent calculi with structural rules
• 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)