On logics having diagnostic formulas relative to minimal calculus

zbMath0839.03003MaRDI QIDQ1908430

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)

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