On logics having diagnostic formulas relative to minimal calculus

MaRDI QIDQ1908430zbMATHFDO

Authors Valery Plisko

Publication date 27 March 1996

Published in Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

propositional logicintuitionistic calculusdiagnostic formulasminimal calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• scientific article; zbMATH DE number 2120405
• scientific article; zbMATH DE number 4216525
• Extensions of the provability logic
• scientific article; zbMATH DE number 5827852
• scientific article; zbMATH DE number 4135914

Cited in

(3)

• scientific article; zbMATH DE number 2120405 (Why is no real title available?)
• Diagnostic propositional formulas
• scientific article; zbMATH DE number 4216525 (Why is no real title available?)

This page was built for publication: On logics having diagnostic formulas relative to minimal calculus

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