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 [Book Review]

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,610

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

Review: R. Harrop, On the Existence of Finite Models and Decision Procedures for Propositional Calculi. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (2):180-181.
On the Existence of Finite Models and Decision Procedures for Propositional Calculi.R. Harrop - 1960 - Journal of Symbolic Logic 25 (2):180-181.
Review: R. Harrop, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Some Forms of Models of Propositional Calculi; Ronald Harrop, On the Equivalence for Non-Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):251-251.
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.
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.
Some results concerning finite model separability of propositional calculi.Ronald Harrop - 1976 - Studia Logica 35 (2):179 - 189.
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.
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.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
Sequent calculi and decision procedures for weak modal systems.René Lavendhomme & Thierry Lucas - 2000 - Studia Logica 66 (1):121-145.
Some structure results for propositional calculi.Ronald Harrop - 1965 - Journal of Symbolic Logic 30 (3):271-292.
Review: Ronald Harrop, Some Structure Results for Propositional Calculi. [REVIEW]Ann Yasuhara - 1967 - Journal of Symbolic Logic 32 (4):537-538.
On the Equivalence for Non‐Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models.Ronald Harrop - 1971 - Mathematical Logic Quarterly 17 (1):137-143.
On the Equivalence for Non‐Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models.Ronald Harrop - 1971 - Mathematical Logic Quarterly 17 (1):137-143.
Review: W. E. Singletary, Results Regarding the Axiomatization of Partial Propositional Calculi. [REVIEW]Ronald Harrop - 1971 - Journal of Symbolic Logic 36 (1):172-172.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,187,343)

6 months
7 (#419,303)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references