Review: R. Harrop, An Investigation of the Propositional Calculus used in a Particular System of Logic [Book Review]

Journal of Symbolic Logic 23 (1):65-65 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964514

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: 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.
The Finite Model Property and Subsystems of Classical Propositional Calculus.Ronald Harrop - 1959 - Mathematical Logic Quarterly 5 (1‐2):29-32.
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.Evgeny Zolin - 2014 - Studia Logica 102 (5):1021-1039.
Jan Łukasiewicz. On variable functors of propositional arguments. Proceedings of the Royal Irish Academy, vol. 64 section A no. 2 , pp. 25–35. - C. A. Meredith. On an extended system of the propositional calculus. Proceedings of the Royal Irish Academy, vol. 64 section A no. 3 , pp. 37–47. [REVIEW]Alonzo Church - 1951 - Journal of Symbolic Logic 16 (3):229-230.
Review: Alan Rose, Strong Completeness of Fragments of the Propositional Calculus; Alan Rose, The Degree of Completeness of a Partial System of the 2-Valued Propositional Calculus. [REVIEW]R. C. Lyndon - 1952 - Journal of Symbolic Logic 17 (2):147-147.
On Interpreting the S5 Propositional Calculus: an essay in philosophical logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
A cut-free Gentzen formulation of basic propositional calculus.Kentaro Kikuchi & Katsumi Sasaki - 2003 - Journal of Logic, Language and Information 12 (2):213-225.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Review: William Tuthill Parry, A New Symbolism for the Propositional Calculus; Gerald B. Standley, Ideographic Computation in the Propositional Calculus. [REVIEW]Czesław Lejewski - 1958 - Journal of Symbolic Logic 23 (1):63-63.
A cut-free simple sequent calculus for modal logic S5.Francesca Poggiolesi - 2008 - Review of Symbolic Logic 1 (1):3-15.
A note on the completeness of Kozen's axiomatisation of the propositional μ-calculus.Igor Walukiewicz - 1996 - Bulletin of Symbolic Logic 2 (3):349-366.
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.
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.

Analytics

Added to PP
2013-11-22

Downloads
6 (#1,454,899)

6 months
1 (#1,463,894)

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