14 results
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 253-254
- Print publication:
- March 1986
-
- Article
- Export citation
Richard E. Vesley. On strengthening intuitionistic logic. Notre Dame journal of formal logic, vol. 4 (1963), p. 80.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 307
- Print publication:
- 25 July 1969
-
- Article
- Export citation
Independence of two nice sets of axioms for the propositional calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 265-270
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Tsutomu Hosoi. The separation theorem on the classical system. Journal of the Faculty of Science, University of Tokyo, section I, Mathematics, astronomy, physics, chemistry, vol. 12 part 2 (1966), pp. 223–230.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Alfred Horn. The separation theorem of intuitionist propositional calculus. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 391–399.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 282
- Print publication:
- August 1967
-
- Article
- Export citation
Interpretations of Kleene's metamathematical predicate Γ ∣ a in intuitionistic arithmetic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 140-154
- Print publication:
- June 1965
-
- Article
- Export citation
S. C. Kleene. An addendum. The journal of symbolic logic, vol. 28 no. 2 (for 1963, pub. 1964), pp. 154–156.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
- Print publication:
- September 1964
-
- Article
- Export citation
S. C. Kleene. Disjunction and existence under implication in elementary intuitionistic formalisms. The Journal of symbolic logic, vol. 27 (for 1962, pub. 1963), pp. 11–18.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 166-167
- Print publication:
- June 1963
-
- Article
- Export citation
Ronald Harrop. Concerning formulas of the types A → B v C, A → (Ex)B(x) in intuitionistic formal systems. The journal of symbolic logic, vol. 25 no. 1 (for 1960, pub. 1961), pp. 27–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 110-111
- Print publication:
- March 1962
-
- Article
- Export citation
Evert W. Beth and Hugues Leblanc. A note on the intuitionist and the classical prepositional calculus. Logique et analyse (Louvain), n.s. vol. 3 (1960), pp. 174–176.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 351-352
- Print publication:
- December 1960
-
- Article
- Export citation
J. Porte. Une propriété du calcul propositionnel intuitionniste. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 61 (1958), pp. 362–365; also Indagationes mathematicae, vol. 20 (1958), pp. 362–365.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-69
- Print publication:
- March 1959
-
- Article
- Export citation
R. Harrop. On disjunctions and existential statements in intuitionistic systems of logic. Mathematische Annalen, vol. 132 (1956), pp. 347–361.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-346
- Print publication:
- September 1958
-
- Article
- Export citation
G. Kreisel and H. Putnam. Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 (1957), pp. 74–78.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 229
- Print publication:
- June 1958
-
- Article
- Export citation
Stig Kanger. A note on partial postulate sets for propositional logic. Theoria (Lund), vol. 21 (1955), pp. 99–104.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-331
- Print publication:
- September 1957
-
- Article
- Export citation