scientific article; zbMATH DE number 16516

MaRDI QIDQ3973199zbMATH OpenFDO

Authors Vladimir M. Popov

Publication date 26 June 1992

zbMATH Keywords

sequent calculi

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 4091467
• On the construction of analytic sequent calculi for sub-classical logics
• Modular construction of cut-free sequent calculi for paraconsistent logics
• scientific article; zbMATH DE number 823609
• Automated support for the investigation of paraconsistent and other logics

Cited in

(3)

• Correspondence analysis and automated proof-searching for first degree entailment
• scientific article; zbMATH DE number 4091467 (Why is no real title available?)
• Normalisation for some quite interesting many-valued logics

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