A shortened proof of Sobocinski's theorem concerning a restricted rule of substitution in the field of propositional calculi

DOI10.1305/NDJFL/1093882409zbMath0299.02007OpenAlexW2074019368MaRDI QIDQ1214901

Charles H. Lambros

Publication date: 1979

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093882409

zbMATH Keywords

PROPOSITIONAL CALCULIRESTRICTED RULE OF SUBSTITUTION

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Related Items (1)

Unnamed Item

This page was built for publication: A shortened proof of Sobocinski's theorem concerning a restricted rule of substitution in the field of propositional calculi