Some Forms of Models of Propositional Calculi

, , &
Journal of Symbolic Logic 40 (2):251-251 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271932

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

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, 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.
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.
Review: Ronald Harrop, Some Structure Results for Propositional Calculi. [REVIEW]Ann Yasuhara - 1967 - Journal of Symbolic Logic 32 (4):537-538.
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.
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.
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.
Review: R. Harrop, An Investigation of the Propositional Calculus used in a Particular System of Logic. [REVIEW]P. Lorenzen - 1958 - Journal of Symbolic Logic 23 (1):65-65.
Review: A. Tarski, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Equational Logic and Equational Theories of Algebras. [REVIEW]Ralph Seifert - 1971 - Journal of Symbolic Logic 36 (1):161-162.

Analytics

Added to PP
2015-02-05

Downloads
5 (#847,061)

6 months
13 (#1,035,185)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Replacing Modus Ponens With One-Premiss Rules.Lloyd Humberstone - 2008 - Logic Journal of the IGPL 16 (5):431-451.

Add more citations

References found in this work

No references found.

Add more references