Diagnostic propositional formulas

zbMath0784.03010MaRDI QIDQ1177504

Vladimir A. Uspensky, Valery Plisko

Publication date: 26 June 1992

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

zbMATH Keywords

propositional logicderivabilitydiagnostic formula

Mathematics Subject Classification ID

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

This page was built for publication: Diagnostic propositional formulas