Book Review
Ettore Carruccio. Alcune conseguenze di un risultato del Gödel e la razionalità del reale. Atti della Società dei Naturalisti e Matematici di Modena, vol 78 (1947), pp. 88–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 142
-
- Article
- Export citation
Reviews
Alonzo Church. Conditioned disjunction as a primitive connective for the propositional calculus. Portugaliae mathematica, vol. 7 (1948), pp. 87–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
-
- Article
- Export citation
Giulio Preti. Lettera a “Sigma.”Sigma (Rome), vol. 1 (1947–1948), pp. 433–435.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-72
-
- Article
- Export citation
J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility. The journal of symbolic logic, vol. 13 (1948), pp. 177–192.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 259-260
-
- Article
- Export citation
Gustav Bergmann. A syntactical characterization of S5. The journal of symbolic logic, vol. 14 (1949), pp. 173–174.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 260
-
- Article
- Export citation
Leon Henkin. Fragments of propositional calculus. The journal of symbolic logic, vol 14 (1949), pp. 42–48.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 197-198
-
- Article
- Export citation
Book Review
Ettore Carruccio. Sull’impossibilità di esprimere integralmente in simboli un sistema ipotetico-dedutlivo. Atti della Società dei Naturalisti e Matematici di Modena, vol 78 (1947), pp. 91–92.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 142-144
-
- Article
- Export citation
Abstracts
Eleventh Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-80
-
- Article
-
- You have access
- Export citation
Front matter
JSL volume 14 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
-
- Article
-
- You have access
- Export citation
JSL volume 14 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
-
- Article
-
- You have access
- Export citation
Reviews
Erik Stenius. Natural implication and material implication. Theoria, vol. 13 (1947), pp. 136–156.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 198
-
- Article
- Export citation
John R. Myhill. Note on an idea of Fitch. The journal of symbolic logic, vol. 14 (1949), pp. 175–176.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 260-261
-
- Article
- Export citation
Sören Halldén. A question concerning a logical calculus related to Lewis' system of strict implication, which is of special interest for the study of entailment. Theoria, vol. 14 (1948), pp. 265–269.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 199
-
- Article
- Export citation
Tzu-Hua Hoo. m-valued sub-system of (m+n)-valued propositional calculus. The journal of symbolic logic, vol. 14 (1949), pp. 177–181.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 261
-
- Article
- Export citation
Frederic B. Fitch. Intuitionistic modal logic with quantifiers. Portugaliae mathematica, vol. 7 no. 2 (for 1948, pub. 1949), pp. 113–118.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 261
-
- Article
- Export citation
S. Körner. On entailment. Proceedings of the Aristotelian Society, n.s. vol. 47 (1946–1947), pp. 143–162.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 199-200
-
- Article
- Export citation
Stuart Hampshire. Logical form. Proceedings of the Aristotelian Society n.s. vol. 48 (1948), pp. 37–58.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 200
-
- Article
- Export citation
J. Ridder. Über mehrwertige Aussagenkalküle und mehrwertige engere Prädikatenkalküle. II–III. Koninhlijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, t. 51 (1948), pp. 836–845 et 991–995; aussi Indagationes mathematicae, t. 10 (1948), pp. 264–273 et 324–328.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 261-262
-
- Article
- Export citation
Karl Britton. The nature of arithmetic: A reconsideration of Mill's views. Proceedings of the Aristotelian Society n.s. vol. 48 (1948), pp. 1–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 200-201
-
- Article
- Export citation
L. E. J. Brouwer. Contradictoriteit der elementaire meetkunde (Contradictoriness of elementary geometry). Koninhlijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences vol. 52 (1949), pp. 315–316; also ibid., vol. 11 (1949), pp. 89–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 262-263
-
- Article
- Export citation