scientific article; zbMATH DE number 2059009

MaRDI QIDQ4455539zbMATHFDO

Authors A. P. Pyn'ko

Publication date 16 March 2004

zbMATH Keywords

sequent calculipropositional logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cited in

(4)

• Finite sequent calculi for PLTL
• Optimization of sequent calculi for finite-valued logics with equality determinant
• scientific article; zbMATH DE number 5220083 (Why is no real title available?)
• A finitely axiomatized formalization of predicate calculus with equality

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 Q4455539)