20 found
Order:
  1.  22
    Independence of Two Nice Sets of Axioms for the Propositional Calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
    Kanger [4] gives a set of twelve axioms for the classical propositional Calculus which, together with modus ponens and substitution, have the following nice properties: (0.1) Each axiom contains $\supset$ , and no axiom contains more than two different connectives. (0.2) Deletions of certain of the axioms yield the intuitionistic, minimal, and classical refutability1 subsystems of propositional calculus. (0.3) Each of these four systems of axioms has the separation property: that if a theorem is provable in such a system, then (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  2.  5
    Interpretations of Kleene's Metamathematical Predicate Γ∣a in Intuitionistic Arithmetic.T. Thacher Robinson - 1965 - Journal of Symbolic Logic 30 (2):140-154.
  3. Review: S. C. Kleene, An Addendum. [REVIEW]T. Thacher Robinson - 1964 - Journal of Symbolic Logic 29 (3):146-146.
  4.  3
    Harrop Ronald. Concerning Formulas of the Types A → B V C, A → B in Intuitionistic Formal Systems.T. Thacher Robinson - 1962 - Journal of Symbolic Logic 27 (1):110-111.
  5. Review: Evert W. Beth, Hugues Leblanc, A Note on the Intuitionist and the Classical Propositional Calculus. [REVIEW]T. Thacher Robinson - 1960 - Journal of Symbolic Logic 25 (4):351-352.
  6.  4
    Review: Ronald Harrop, Concerning Formulas of the Types $A Rightarrow B Mathbf{V} C, A Rightarrow (Ex) B(X)$ in Intuitionistic Formal Systems. [REVIEW]T. Thacher Robinson - 1962 - Journal of Symbolic Logic 27 (1):110-111.
  7.  2
    Harrop R.. On Disjunctions and Existential Statements in Intuitionistic Systems of Logic. Mathematische Annalen, Vol. 132 , Pp. 347–361. [REVIEW]T. Thacher Robinson - 1958 - Journal of Symbolic Logic 23 (3):345-346.
  8.  2
    Kreisel G. and Putnam H.. Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 , pp. 74–78. [REVIEW]T. Thacher Robinson - 1958 - Journal of Symbolic Logic 23 (2):229.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  9.  2
    Kanger Stig. A Note on Partial Postulate Sets for Propositional Logic. Theoria , Vol. 21 , Pp. 99–104.T. Thacher Robinson - 1957 - Journal of Symbolic Logic 22 (3):330-331.
  10. Review: J. Porte, Une Propriete du Calcul Propositionnel Intuitionniste. [REVIEW]T. Thacher Robinson - 1959 - Journal of Symbolic Logic 24 (1):68-69.
    Translate
     
     
    Export citation  
     
    My bibliography  
  11.  1
    Review: Richard E. Vesley, On Strengthening Intuitionistic Logic. [REVIEW]T. Thacher Robinson - 1969 - Journal of Symbolic Logic 34 (2):307-307.
  12.  1
    Review: R. Harrop, On Disjunctions and Existential Statements in Intuitionistic Systems of Logic. [REVIEW]T. Thacher Robinson - 1958 - Journal of Symbolic Logic 23 (3):345-346.
  13.  1
    Review: S. C. Kleene, Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. [REVIEW]T. Thacher Robinson - 1963 - Journal of Symbolic Logic 28 (2):166-167.
  14.  1
    Review: V. A. Uspensky, R. Alavina, Post's Machine; Emil L. Post, Finite Combinatory Processes--Formulation I. [REVIEW]T. Thacher Robinson - 1986 - Journal of Symbolic Logic 51 (1):253-254.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. Independence of Two Nice Sets of Axioms for the Propositional Calculus.John R. Chidgey & T. Thacher Robinson - 1970 - Journal of Symbolic Logic 35 (1):139.
  16. Beth Evert W. And Leblanc Hugues. A Note on the Intuitionist and the Classical Prepositional Calculus. Logique Et Analyse , N.S. Vol. 3 , Pp. 174–176. [REVIEW]T. Thacher Robinson - 1960 - Journal of Symbolic Logic 25 (4):351-352.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. Review: G. Kreisel, H. Putnam, Eine Unableitbarkeitsbeweismethode fur den Intuitionistischen Aussagenkalkul. [REVIEW]T. Thacher Robinson - 1958 - Journal of Symbolic Logic 23 (2):229-229.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  18. Review: Stig Kanger, A Note on Partial Postulate Sets for Propositional Logic. [REVIEW]T. Thacher Robinson - 1957 - Journal of Symbolic Logic 22 (3):330-331.
     
    Export citation  
     
    My bibliography  
  19. Review: Tsutomu Hosoi, The Separation Theorem on the Classical System. [REVIEW]T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (1):128-128.
     
    Export citation  
     
    My bibliography  
  20. Uspensky V. A.. Post's Machine. English Translation by Alavina R. Of Mašina Posta. Little Mathematics Library. Mir Publishers, Moscow, Also Distributed by Imported Publications, Chicago, 1983, 88 Pp.Post Emil L.. Finite Combinatory Processes—Formulation 1. A Reprint of II 43. Therein, Pp. 84–88. [REVIEW]T. Thacher Robinson - 1986 - Journal of Symbolic Logic 51 (1):253-254.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography