scientific article; zbMATH DE number 2059009

zbMATH Open1035.03534MaRDI QIDQ4455539FDOQ4455539

A. P. Pyn'ko

Publication date: 16 March 2004

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

zbMATH Keywords

sequent calculipropositional logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cited In (4)

• Optimization of sequent calculi for finite-valued logics with equality determinant
• Finite sequent calculi for PLTL
• Title not available (Why is that?)
• 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)