Ronald Harrop. Some structure results for propositional calculi. The journal of symbolic logic, vol. 30 , pp. 271–292

Journal of Symbolic Logic 32 (4):537-538 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270224

Links

PhilArchive



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

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: Ronald Harrop, Some Structure Results for Propositional Calculi. [REVIEW]Ann Yasuhara - 1967 - Journal of Symbolic Logic 32 (4):537-538.
Some structure results for propositional calculi.Ronald Harrop - 1965 - Journal of Symbolic Logic 30 (3):271-292.
Some Structure Results for Propositional Calculi.Ronald Harrop - 1967 - Journal of Symbolic Logic 32 (4):537-538.
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.
Review: W. E. Singletary, Results Regarding the Axiomatization of Partial Propositional Calculi. [REVIEW]Ronald Harrop - 1971 - Journal of Symbolic Logic 36 (1):172-172.
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 - 1967 - Journal of Symbolic Logic 32 (1):125-126.
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.
Singletary W. E.. Results regarding the axiomatization of partial prepositional calculi. Notre Dame journal of formal logic, vol. 9 no. 3 , pp. 193–211. [REVIEW]Ronald Harrop - 1971 - Journal of Symbolic Logic 36 (1):172-172.
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.
Some results concerning finite model separability of propositional calculi.Ronald Harrop - 1976 - Studia Logica 35 (2):179 - 189.
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, 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.
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.
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.

Analytics

Added to PP
2016-06-30

Downloads
14 (#974,810)

6 months
4 (#790,778)

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