Concerning the finite model property for propositional calculi
HTML articles powered by AMS MathViewer
- by John Anderson
- Proc. Amer. Math. Soc. 19 (1968), 1207-1210
- DOI: https://doi.org/10.1090/S0002-9939-1968-0231697-9
- PDF | Request permission
References
- R. Harrop, On the existence of finite models and decision procedures for propositional calculi, Proc. Cambridge Philos. Soc. 54 (1958), 1–13. MR 93482, DOI 10.1017/s0305004100033120
- Ronald Harrop, A relativization procedure for propositional calculi, with an application to a generalized form of Post’s theorem, Proc. London Math. Soc. (3) 14 (1964), 595–617. MR 169772, DOI 10.1112/plms/s3-14.4.595
Bibliographic Information
- © Copyright 1968 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 19 (1968), 1207-1210
- MSC: Primary 02.12
- DOI: https://doi.org/10.1090/S0002-9939-1968-0231697-9
- MathSciNet review: 0231697