32 found
Order:
  1.  31
    Concerning Formulas of the Types a →B ∨C, a →(Ex)B(X).Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.
  2.  11
    Concerning Formulas of the Types $A Rightarrow B Vee C, A Rightarrow (Ex)B(X)$.Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.
  3.  20
    Some Structure Results for Propositional Calculi.Ronald Harrop - 1965 - Journal of Symbolic Logic 30 (3):271-292.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  22
    The Finite Model Property and Subsystems of Classical Propositional Calculus.Ronald Harrop - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (1-2):29-32.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  5
    The Finite Model Property and Subsystems of Classical Propositional Calculus.Ronald Harrop - 1959 - Mathematical Logic Quarterly 5 (1‐2):29-32.
  6.  11
    Kurt Schütte. Der Interpolationssatz der intuitionistischen Prädikatenlogik. Mathematische Annalen, vol. 148 , pp. 192–200. [REVIEW]Ronald Harrop - 1964 - Journal of Symbolic Logic 29 (3):145-146.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  7. Meeting of the Association for Symbolic Logic Seattle 1973.Anne C. Morel, Ronald Harrop, Miriam Lucian & David Pincus - 1974 - Journal of Symbolic Logic 39 (1):195-208.
  8.  6
    Multiple-Conclusion Logic.Ronald Harrop - 1981 - Journal of Symbolic Logic 46 (1):161-163.
    Direct download  
     
    Export citation  
     
    Bookmark   32 citations  
  9.  41
    Jan Łukasiewicz. A System of Modal Logic. Actes du Xlème Congrès International de Philosophie, Volume XIV, Volume Complémentaire Et Communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, Pp. 82–87. - Jan Łukasiewicz. A System of Modal Logic. The Journal of Computing Systems, Vol. 1 No. 3 , Pp. 111–149. - Ivo Thomas. Note on a Modal System of Łukasiewicz. Dominican Studies, Vol. 6 , Pp. 167–170. - A. N. Prior. The Interpretation of Two Systems of Modal Logic. The Journal of Computing Systems, Vol. 1 No. 4 , Pp. 201–208. - Alan Ross Anderson. On the Interpretation of a Modal System of Łukasiewicz. The Journal of Computing Systems, Vol. 1 No. 4 , Pp. 209–210. - Jan Łukasiewicz. Arithmetic and Modal Logic. The Journal of Computing Systems, Vol. 1 No. 4 , Pp. 213–219. - Jan Łukasiewicz. On a Controversial Problem of Aristotle's Modal Syllogistic. Dominican Studies, Vol. 7 , Pp. 114–128. [REVIEW]Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (3):293-296.
  10.  19
    Wilhelm Ackermann. Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 , pp. 3–26, and vol. 5 , pp. 96–111. [REVIEW]Ronald Harrop - 1967 - Journal of Symbolic Logic 32 (2):259.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  19
    David Makinson. A Normal Modal Calculus Between T and S4 Without the Finite Model Property. The Journal of Symbolic Logic, Vol. 34 , Pp. 35–38.Ronald Harrop - 1971 - Journal of Symbolic Logic 36 (4):692.
  12. Review: Heinrich Behmann, Die Typenfreie Logik und die Modalitat. [REVIEW]Ronald Harrop - 1957 - Journal of Symbolic Logic 22 (3):326-326.
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Review: M. D. Gladstone, On the Number of Variables in the Axioms. [REVIEW]Ronald Harrop - 1972 - Journal of Symbolic Logic 37 (4):755-756.
  14.  6
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  12
    Wilhelm Ackermann. Grundgedanken Einer Typenfreien Logik. Essays on the Foundations of Mathematics, Dedicated to A. A. Fraenkelon His Seventieth Anniversary, Edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, Pp. 143–155. [REVIEW]Ronald Harrop - 1967 - Journal of Symbolic Logic 32 (2):259-260.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  16
    On the Recursivity of Finite Sets.Ronald Harrop - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (7-10):136-140.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  15
    On the Equivalence for Non-Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models.Ronald Harrop - 1971 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 17 (1):137-143.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  14
    Mihăilescu Eugen. Sur les Proprietés de l'Implication Par Rapport À l'Équivalence Et la Disjonction. Analele Universitătii Bucureşti, Seria Acta Logica, Vol. 5 , Pp. 119–134. [REVIEW]Ronald Harrop - 1970 - Journal of Symbolic Logic 35 (4):584-584.
  19.  14
    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.
  20.  7
    D. J. Shoesmith and T. J. Smiley. Multiple-Conclusion Logic. Cambridge University Press, Cambridge Etc. 1978, Xiii + 396 Pp. [REVIEW]Ronald Harrop - 1981 - Journal of Symbolic Logic 46 (1):161-163.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  17
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  11
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  17
    Some Results Concerning Finite Model Separability of Propositional Calculi.Ronald Harrop - 1976 - Studia Logica 35 (2):179 - 189.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  8
    Review: W. E. Singletary, Results Regarding the Axiomatization of Partial Propositional Calculi. [REVIEW]Ronald Harrop - 1971 - Journal of Symbolic Logic 36 (1):172-172.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  7
    Behmann Heinrich. Die Typenfreie Logik Und Die Modalität. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume Comptémentalre Et Communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, Pp. 88–96. [REVIEW]Ronald Harrop - 1957 - Journal of Symbolic Logic 22 (3):326-326.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  6
    On the Recursivity of Finite Sets.Ronald Harrop - 1961 - Mathematical Logic Quarterly 7 (7‐10):136-140.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  7
    Review: D. J. Shoesmith, T. J. Smiley, Multiple-Conclusion Logic. [REVIEW]Ronald Harrop - 1981 - Journal of Symbolic Logic 46 (1):161-163.
  28.  2
    M. D. Gladstone. On the Number of Variables in the Axioms. Notre Dame Journal of Formal Logic, Vol. 11 , Pp. 1–15.Ronald Harrop - 1972 - Journal of Symbolic Logic 37 (4):755-756.
  29.  3
    Review: Wilhelm Ackermann, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Grundgedanken einer Typenfreien Logik. [REVIEW]Ronald Harrop - 1967 - Journal of Symbolic Logic 32 (2):259-260.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  2
    Review: Eugen Mihailescu, Sur les Proprietes de l'Implication Par Rapport a l'Equivalence Et la Disjonction. [REVIEW]Ronald Harrop - 1970 - Journal of Symbolic Logic 35 (4):584-584.
  31.  1
    Ackermann Wilhelm. Widerspruchsfreier Aufbau einer typenfreien Logik. . Mathematische Zeitschrift, vol. 55 , pp. 364–384.Ackermann Wilhelm. Widerspruchsfreier Aufbau einer typenfreien Logik. II. Mathematische Zeitschrift, vol. 57 , pp. 155–166. [REVIEW]Ronald Harrop - 1954 - Journal of Symbolic Logic 19 (4):295-296.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  2
    [Omnibus Review].Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (3):293-296.