A Relativization Procedure for Propositional Calculi, with an Application to a Generalized Form of Post's Theorem

DOI10.1112/PLMS/S3-14.4.595zbMath0158.25105OpenAlexW1977160995MaRDI QIDQ5541323

Ronald Harrop

Publication date: 1964

Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/plms/s3-14.4.595

zbMATH Keywords

mathematical logic

Related Items (3)

Concerning the Finite Model Property for Propositional Calculi ⋮ Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi ⋮ Some results concerning finite model separability of propositional calculi

This page was built for publication: A Relativization Procedure for Propositional Calculi, with an Application to a Generalized Form of Post's Theorem