19 found
Order:
  1.  18
    Simplifications of the Recursion Scheme.M. D. Gladstone - 1971 - Journal of Symbolic Logic 36 (4):653-665.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  11
    A Reduction of the Recursion Scheme.M. D. Gladstone - 1967 - Journal of Symbolic Logic 32 (4):505-508.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  4
    On the Number of Variables in the Axioms.M. D. Gladstone - 1970 - Notre Dame Journal of Formal Logic 11 (1):1-15.
  4.  5
    The Decidability of One-Variable Propositional Calculi.M. D. Gladstone - 1979 - Notre Dame Journal of Formal Logic 20 (2):438-450.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  36
    A Single‐Axiom Impligational Calculus of Given Unsolvability.M. D. Gladstone - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (13‐17):193-204.
  6.  7
    Bishwambhar Pahi and Ralph C. Applebee. An Unsolvable Problem Concerning Implicational Calculi. Notre Dame Journal of Formal Logic, Vol. 11 , Pp. 200–202. [REVIEW]M. D. Gladstone - 1972 - Journal of Symbolic Logic 37 (2):417.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Finite Models for Inequations.M. D. Gladstone - 1966 - Journal of Symbolic Logic 31 (4):581-592.
  8.  5
    Hughes G. E.. The Independence of Axioms in the Propositional Calculus. The Australasian Journal of Philosophy, Vol. 35 , Pp. 21–29. [REVIEW]M. D. Gladstone - 1971 - Journal of Symbolic Logic 36 (3):546-546.
  9.  28
    Henry W. JohnstoneJr., A Definition of Conjunction in the Pure Implicational Calculus with One Variable. Logique Et Analyse, N.S. Vol. 9 , Pp. 310–312. [REVIEW]M. D. Gladstone - 1970 - Journal of Symbolic Logic 35 (4):584.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  10.  18
    Mary Katherine Yntema. A Detailed Argument for the Post-Linial Theorems. Notre Dame Journal of Formal Logic, Vol. 5 No. 1 , Pp. 37–50. [REVIEW]M. D. Gladstone - 1966 - Journal of Symbolic Logic 31 (1):117-118.
  11.  15
    Philip K. Hooper. Monogenic Post Normal Systems of Arbitrary Degree. Journal of the Association for Computing Machinery, Vol. 13 , Pp. 359–363. [REVIEW]M. D. Gladstone - 1969 - Journal of Symbolic Logic 34 (3):508-509.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. Review: Ann Yasuhara, A Remark on Post Normal Systems. [REVIEW]M. D. Gladstone - 1968 - Journal of Symbolic Logic 33 (1):116-117.
  13.  3
    Review: Bishwambhar Pahi, Ralph C. Applebee, An Unsolvable Problem Concerning Implicational Calculi. [REVIEW]M. D. Gladstone - 1972 - Journal of Symbolic Logic 37 (2):417-417.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  2
    Review: G. E. Hughes, The Independence of Axioms in the Propositional Calculus. [REVIEW]M. D. Gladstone - 1971 - Journal of Symbolic Logic 36 (3):546-546.
  15.  2
    Review: Henry W. Johnstone, Robert Price, Axioms for the Implicational Calculus with One Variable. [REVIEW]M. D. Gladstone - 1970 - Journal of Symbolic Logic 35 (4):584-584.
  16.  3
    Review: Henry W. Johnstone, A Definition of Conjunction in the Pure Implicational Calculus with One Variable. [REVIEW]M. D. Gladstone - 1970 - Journal of Symbolic Logic 35 (4):584-584.
  17.  9
    Review: Philip K. Hooper, Monogenic Post Normal Systems of Arbitrary Degree. [REVIEW]M. D. Gladstone - 1969 - Journal of Symbolic Logic 34 (3):508-509.
  18.  20
    Yasuhara Ann. A Remark on Post Normal Systems. Journal of the Association for Computing Machinery, Vol. 14 , Pp. 167–171. [REVIEW]M. D. Gladstone - 1968 - Journal of Symbolic Logic 33 (1):116-117.
  19.  5
    Meeting of the Association for Symbolic Logic.J. C. Shepherdson, S. Körner & M. D. Gladstone - 1964 - Journal of Symbolic Logic 29 (4):218-228.