On logics having diagnostic formulas relative to minimal calculus

zbMATH Open0839.03003MaRDI QIDQ1908430FDOQ1908430

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)

Cited In (3)

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

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Extensions of the provability logic 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)