Optimization of sequent calculi for finite-valued logics with equality determinant

MaRDI QIDQ2896493zbMATH OpenFDO

Authors A. P. Pyn'ko

Publication date 16 July 2012

Published in Dopovidi Natsional'noï Akademiï Nauk Ukraïny. Matematyka, Pryrodoznavstvo, Tekhnichni Nauky (Search for Journal in Brave)

zbMATH Keywords

minimizationsequent calculifinite-valued logics

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• scientific article; zbMATH DE number 2059009
• scientific article; zbMATH DE number 2109539
• scientific article; zbMATH DE number 5025799
• scientific article; zbMATH DE number 5520475
• scientific article; zbMATH DE number 5220083
• scientific article; zbMATH DE number 5025933
• Many-place sequent calculi for finitely-valued logics
• Optimal axiomatizations of finitely valued logics
• Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions
• Intuitionistic sequent calculi for finitely many-valued logics

Cited in

(2)

• scientific article; zbMATH DE number 5220083 (Why is no real title available?)
• Fast algorithms for deciding the equivalence of propositional operator programs on ordered semigroup scales

This page was built for publication: Optimization of sequent calculi for finite-valued logics with equality determinant

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