20 found
Order:
  1.  8
    Eine Unableitbarkeitsbeweismethode Für den Intuitionistischen Aussagenkalkül.T. Thacher Robinson - 1958 - Journal of Symbolic Logic 23 (2):229-229.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  14
    V. A. Uspensky. Post's Machine. English Translation by R. Alavina of Mašina Posta. Little Mathematics Library. Mir Publishers, Moscow, Also Distributed by Imported Publications, Chicago, 1983, 88 Pp. - Emil L. Post. 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 (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  22
    A Note on the Intuitionistic and the Classical Proposition Calculus.T. Thacher Robinson - 1960 - Logique Et Analyse 3 (4):174-176.
  4.  35
    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 (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  25
    Interpretations of Kleene's Metamathematical Predicate Γ∣a in Intuitionistic Arithmetic.T. Thacher Robinson - 1965 - Journal of Symbolic Logic 30 (2):140-154.
  6.  8
    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.
  7.  10
    Review: J. Porte, Une Propriete du Calcul Propositionnel Intuitionniste. [REVIEW]T. Thacher Robinson - 1959 - Journal of Symbolic Logic 24 (1):68-69.
  8.  15
    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.
  9.  14
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  18
    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.
  11.  13
    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.
  12.  14
    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.
  13.  7
    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.
  14.  9
    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.
  15.  9
    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-229.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  10
    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  
     
    Bookmark  
  17.  8
    Review: Richard E. Vesley, On Strengthening Intuitionistic Logic. [REVIEW]T. Thacher Robinson - 1969 - Journal of Symbolic Logic 34 (2):307-307.
  18.  5
    Harrop Ronald. Concerning Formulas of the Types A → B V C, A → B in Intuitionistic Formal Systems. [REVIEW]T. Thacher Robinson - 1962 - Journal of Symbolic Logic 27 (1):110-111.
  19.  4
    A Note on the Intuitionist and the Classical Propositional Calculus.T. Thacher Robinson - 1960 - Journal of Symbolic Logic 25 (4):351-352.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. 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  
     
    Bookmark