31 found
Order:
  1.  36
    Concerning formulas of the types a →b ∨c, a →(ex)b(X).Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.
  2.  13
    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.  23
    Some structure results for propositional calculi.Ronald Harrop - 1965 - Journal of Symbolic Logic 30 (3):271-292.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  4.  23
    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.  8
    The Finite Model Property and Subsystems of Classical Propositional Calculus.Ronald Harrop - 1959 - Mathematical Logic Quarterly 5 (1‐2):29-32.
  6.  9
    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  
  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.  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  
  9.  26
    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.
  10.  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.
  11.  2
    [Omnibus Review].Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (3):293-296.
  12.  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.
  13.  15
    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.
  14.  6
    On the Recursivity of Finite Sets.Ronald Harrop - 1961 - Mathematical Logic Quarterly 7 (7‐10):136-140.
  15.  16
    On the Recursivity of Finite Sets.Ronald Harrop - 1961 - Mathematical Logic Quarterly 7 (7-10):136-140.
  16.  19
    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  
  17.  13
    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)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  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)  
     
    Export citation  
     
    Bookmark  
  19.  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)  
     
    Export citation  
     
    Bookmark  
  20.  8
    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
    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.
  22.  9
    Review: D. J. Shoesmith, T. J. Smiley, Multiple-Conclusion Logic. [REVIEW]Ronald Harrop - 1981 - Journal of Symbolic Logic 46 (1):161-163.
  23.  4
    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.
  24. Review: Heinrich Behmann, Die Typenfreie Logik und die Modalitat. [REVIEW]Ronald Harrop - 1957 - Journal of Symbolic Logic 22 (3):326-326.
     
    Export citation  
     
    Bookmark  
  25. Review: M. D. Gladstone, On the Number of Variables in the Axioms. [REVIEW]Ronald Harrop - 1972 - Journal of Symbolic Logic 37 (4):755-756.
  26.  4
    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)  
     
    Export citation  
     
    Bookmark  
  27.  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  
  28.  16
    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.
  29.  47
    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.
  30.  20
    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)  
     
    Export citation  
     
    Bookmark  
  31.  14
    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