On the Existence of Finite Models and Decision Procedures for Propositional Calculi

Journal of Symbolic Logic 25 (2):180-181 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964251

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Harrop R.. On the existence of finite models and decision procedures for propositional calculi. Proceedings of the Cambridge Philosophical Society, vol. 54 , pp. 1–13. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (2):180-181.
R. Harrop. Some forms of models of propositional calculi. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 163–174. - Ronald Harrop. On the equivalence for non-derivability testing of finite Smiley models and finite modified Smiley models. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 17 , pp. 137–143. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):251.
Review: Ronald Harrop, A Relativization Procedure for Propositional Calculi, with an Application to a Generalized form of Post's Theorem; Ronald Harrop, J. N. Crossley, M. A. E. Dummett, Some Generalizations and Applications of a Relativization Procedure for propositional Calculi. [REVIEW]W. E. Singletary - 1967 - Journal of Symbolic Logic 32 (1):125-126.
Ronald Harrop. Some structure results for propositional calculi. The journal of symbolic logic, vol. 30 , pp. 271–292.Ann Yasuhara - 1968 - Journal of Symbolic Logic 32 (4):537-538.
Review: Ronald Harrop, The Finite Model Property and Subsystems of Classical Propositional Calculus. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (2):181-181.
A note on finite axiomatization of partial propositional calculi.W. E. Singletary - 1967 - Journal of Symbolic Logic 32 (3):352-354.
Some Forms of Models of Propositional Calculi.R. Harrop, H. Arnold Schmidt, K. Schutte & Ronald Harrop - 1975 - Journal of Symbolic Logic 40 (2):251-251.
Models of Propositional Calculi in Recursive Arithmetic.R. L. Goodstein - 1963 - Journal of Symbolic Logic 28 (4):291-291.
Harrop R.. An investigation of the propositional calculus used in a particular system of logic. Proceedings of the Cambridge Philosophical Society, vol. 50 , pp. 495–512. [REVIEW]P. Lorenzen - 1958 - Journal of Symbolic Logic 23 (1):65-65.

Analytics

Added to PP
2015-02-05

Downloads
6 (#1,701,486)

6 months
3 (#1,486,845)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
Proof Theory and Algebra in Logic.Hiroakira Ono - 2019 - Singapore: Springer Singapore.
The deducibilities of S.Jean Porte - 1981 - Journal of Philosophical Logic 10 (4):409 - 422.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references