13629 results in The Journal of Symbolic Logic
P. Hoenen. Recherches de logique formelle. La structure du système des syllogismes et des sorites - la logique des notions “au moins” et “tout au plus.” Analecta Gregoriana, vol. 43. Aedes Universitatis Gregorianae, Rome1947, vii + 384 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 302-303
- Print publication:
- December 1954
-
- Article
- Export citation
F. C. Copleston. Bertrand Russell. Revista de filosofia (Madrid), vol. 9 (1950), pp. 261–278.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
- Print publication:
- December 1954
-
- Article
- Export citation
Bolesław Sobociński. Note on a modal system of Feys-von Wright. The journal of computing systems, vol. 1 no. 3 (1953), pp. 171–178.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 293
- Print publication:
- December 1954
-
- Article
- Export citation
Takeo Sugihara. The axiomatization of the Aristotelian modal logic. Memoirs of the Liberal Arts College, Fukui University, vol. 2 (1953), pp. 53–60.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 292
- Print publication:
- December 1954
-
- Article
- Export citation
N. O. Lossky. Analytic and synthetic propositions and mathematical logic. International Universities Press, Inc., New York1953, 16 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 291
- Print publication:
- December 1954
-
- Article
- Export citation
Paul Lorenzen. Über das Prinzip “ex falso quodlibet.”Methodos, Bd. 3 (1951), S. 43–46.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 298
- Print publication:
- December 1954
-
- Article
- Export citation
Hao Wang. Negative types. Mind, n.s. vol. 61 (1952), pp. 366–368.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-289
- Print publication:
- December 1954
-
- Article
- Export citation
John G. Kemeny. A logical measure function. The journal of symbolic logic, vol. 18 (1953), pp. 289–308.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-302
- Print publication:
- December 1954
-
- Article
- Export citation
Irving M. Copi. Symbolic logic. The Macmillan Company, New York1954, xiii + 355 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 282-284
- Print publication:
- December 1954
-
- Article
- Export citation
H. Hermes and H. Scholz. Mathematische Logik. Enzyklopädie der mathematischen Wissenschaften, Band I, Algebra und Zahlentheorie, 1. Teil, Heft 1, Teil I, B.G. Teubner, Leipzig1952, 82 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 278-282
- Print publication:
- December 1954
-
- Article
- Export citation
Wilhelm Ackermann. Widerspruchsfreier Aufbau einer typenfreien Logik. (Erweitertes System). Mathematische Zeitschrift, vol. 55 (1952), pp. 364–384. - Wilhelm Ackermann. Widerspruchsfreier Aufbau einer typenfreien Logik. II. Mathematische Zeitschrift, vol. 57 (1953), pp. 155–166.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-296
- Print publication:
- December 1954
-
- Article
- Export citation
Robert Feys. Les systèmes formalisés des modalités aristotéliciennes. Revue philosophique de Louvain, vol. 48 (1950), pp. 478–509.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 292-293
- Print publication:
- December 1954
-
- Article
- Export citation
Leo Simons. New axiomatizations of S3 and S4. The journal of symbolic logic, vol. 18 (1953), pp. 309–316.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-294
- Print publication:
- December 1954
-
- Article
- Export citation
Stanisław Jaśkowski. Quelques problèmes actuels concernant les fondements des mathématiques (Pewne aktualne zagadnienia z zakresu podstaw matematyki). French with Polish résumé. Časopis pro pěstováni matematiky a fysiky, vol. 74 no. 2 (for 1949, pub. 1950), pp. 74–78.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 298
- Print publication:
- December 1954
-
- Article
- Export citation
Ugo Cassina. L'idéographie de Peano du point de vue de la théorie du langage. Rivista di matematica della Università di Parma, vol. 4 (1953), pp. 195–205.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 290-291
- Print publication:
- December 1954
-
- Article
- Export citation
A. N. Prior. Three-valued logic and future contingents. The philosophical quarterly (St. Andrews), vol. 3 (1953), pp. 317–326.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 294
- Print publication:
- December 1954
-
- Article
- Export citation
Ruth Barcan Marcus. Strict implication, deducibility, and the deduction theorem. The journal of symbolic logic, vol. 18 (1953), pp. 234–236.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 294
- Print publication:
- December 1954
-
- Article
- Export citation
Karl Egil Aubert. On the foundation of the theory of relations and the logical independence of generalized concepts of reflexivity, symmetry and transitivity. Archiv for mathematik og naturvidenskab (Oslo), vol. 52 no. 2 (1952), 48 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-285
- Print publication:
- December 1954
-
- Article
- Export citation
C. Ryll-Nardzewski. The role of the axiom of induction in elementary arithmetic. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953), pp. 239–263.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 287-288
- Print publication:
- December 1954
-
- Article
- Export citation
Francis V. Raab. A criterion of necessity. The review of metaphysics, vol. 6 no. 1 (1952), p. 123. - Rulon Wells. Comments on Mr. Raab's theses. The review of metaphysics, p. 124. - Richard Brandt. Comments on Mr. Raab's theses. The review of metaphysics, pp. 125–126. - Henry W. Johnstone Jr. Comments on Mr. Raab's theses. The review of metaphysics, pp. 126–127. - Manley Thompson. Comments on Mr. Raab's theses. The review of metaphysics, pp. 127–128. - Gustav Bergmann. Comments on Mr. Raab's theses. The review of metaphysics, pp. 128–129. - Francis V. Raab. Response to comments. The review of metaphysics, pp. 130–131.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-292
- Print publication:
- December 1954
-
- Article
- Export citation