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

zbMATH Open1249.03022MaRDI QIDQ2896493FDOQ2896493

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)

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

zbMATH Keywords

minimizationsequent calculifinite-valued logics

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cited In (2)

• Title not available (Why is that?)
• 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)