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

DOI10.1112/PLMS/S3-14.4.595zbMATH Open0158.25105OpenAlexW1977160995MaRDI QIDQ5541323FDOQ5541323

Authors: 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

Cited In (3)

• Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi
• Some results concerning finite model separability of propositional calculi
• Concerning the Finite Model Property for 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5541323)