On logics having diagnostic formulas relative to minimal calculus

zbMATH Open0839.03003MaRDI QIDQ1908430FDOQ1908430

Authors: Valery Plisko 

Publication date: 27 March 1996

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

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

zbMATH Keywords

propositional logicintuitionistic calculusdiagnostic formulasminimal calculus

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Diagnostic propositional formulas

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)