13629 results in The Journal of Symbolic Logic
W. V. Quine. Reduction to a dyadic predicate. The journal of symbolic logic, Bd. 19 (1954), S. 180–182. - Alan Cobham. Reduction to a symmetric predicate. Ebd., Bd. 21 (1956), S. 56–59.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 297
- Print publication:
- September 1957
-
- Article
- Export citation
Ryōichi Takekuma. On a nine-valued propositional calculus. The journal of computing systems, vol. 1 no. 4 (1954), pp. 225–228.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
- Print publication:
- September 1957
-
- Article
- Export citation
Gideon Schwarz. A note on transfinite iteration. The journal of symbolic logic, vol. 21 (1956), pp. 265–266.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
- Print publication:
- September 1957
-
- Article
- Export citation
A. Seidenberg. A new decision method for elementary algebra. Annals of mathematics, ser. 2 vol. 60 (1954), pp. 365–374.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 295
- Print publication:
- September 1957
-
- Article
- Export citation
Arnold Reymond. Quelques considérations sur la nature de la logique et de son objet. Bulletin de la Société Française de Philosophie, vol. 45 (1951), pp. 33–57. - G. Bénézé, Jean-Louis Destouches, Paulette Destouches-Février, R. Le Senne, R. Poirier, Arnold Reymond. Discussion. Bulletin de la Société Française de Philosophie, vol. 45 (1951), pp. 57–70. - R. Blanché. Lettre de M. R. Blanché. Bulletin de la Société Française de Philosophie, vol. 45 (1951), pp. 71–74. See Erratum, ibid., p. 131. - Arnold Reymond. Réponse d'Arnold Reymond à la lettre de M. Blanché. Bulletin de la Société Française de Philosophie, vol. 45 (1951), pp. 74–82. - R. Blanché. Passages d'une lettre. Bulletin de la Société Française de Philosophie, vol. 45 (1951), p. 82. - Arnold Reymond. Réponse. Bulletin de la Société Française de Philosophie, vol. 45 (1951), pp. 82–83. - G. Bénézé. Lettre de M. G. Bénézé: Note sur la logique en général. Bulletin de la Société Française de Philosophie, vol. 45 (1951), pp. 83–84. - Arnold Reymond. Réponse de M. Arnold Reymond à la lettre et à l'intervention de M. Bénézé. Bulletin de la Société Française de Philosophie, vol. 45 (1951), pp. 84–90.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
- Print publication:
- September 1957
-
- Article
- Export citation
Erik Götlind. A Leśniewski-Mihailescu-theorem for m-valued propositional calculi. Portugaliae mathematica, vol. 10 (1951), pp. 97–102.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
- Print publication:
- September 1957
-
- Article
- Export citation
Karl Schröter. Deduktiv abgeschlossene Mengen ohne Basis. Mathematische Nachrichten, vol. 7 (1952), pp. 293–304.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 331
- Print publication:
- September 1957
-
- Article
- Export citation
Hans Rohleder. Die Verwendung von Aussagenkalkülen zur Beschreibung elektrischer Schaltungen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik (Berlin), vol. 1 (1955), pp. 304–309.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 98
- Print publication:
- March 1957
-
- Article
- Export citation
Inferential equivalence and natural deduction
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-240
- Print publication:
- September 1957
-
- Article
- Export citation
Th. Skolem. Peano's axioms and models of arithmetic. Mathematical Interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 1–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 306
- Print publication:
- September 1957
-
- Article
- Export citation
Lewis Carroll. Symbolic logic. Part I. Elementary. Reprint of the fourth edition (674). Berkeley Enterprises, Inc., New York1955, xxxi + 203 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 309-310
- Print publication:
- September 1957
-
- Article
- Export citation
Masao Ohnishi. On intuitionistic functional calculus. Osaka mathematical journal, vol. 5 (1953), pp. 203–209.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 299
- Print publication:
- September 1957
-
- Article
- Export citation
John Myhill. Some philosophical implications of mathematical logic. I Three classes of ideas. The review of metaphysics, vol. 6 no. 2 (1952), pp. 165–198. - Vaclav Edvard Benes. On some alleged implications of mathematical logic. Philosophical studies, vol. 4 (1953), pp. 56–58. - John Myhill. Retort to Mr. Benes. Philosophical studies, vol. 5 (1954), pp. 47–48.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 314-316
- Print publication:
- September 1957
-
- Article
- Export citation
A. N. Prior. Many-valued and modal systems: An intuitive approach. The philosophical review, vol, 64 (1955), pp. 626–630.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 328-329
- Print publication:
- September 1957
-
- Article
- Export citation
H. B. Curry. The logic of program composition. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris—25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, série A, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 97–102.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-103
- Print publication:
- March 1957
-
- Article
- Export citation
Atwell R. Turquette. Many-valued logics and systems of strict implication. The philosophical review, vol. 63 (1954), pp. 365–379.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 328
- Print publication:
- September 1957
-
- Article
- Export citation
Arata Ishimoto. A note on the paper “A set of axioms of the modal propositional calculus equivalent to S3.” The science of thought, no. 2 (1956), pp. 69–72. - Arata Ishimoto. A formulation of the modal propositional calculus equivalent to S4. The science of thought, no. 2 (1956), pp. 73–82.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 326-327
- Print publication:
- September 1957
-
- Article
- Export citation
András Hajnal und László Kalmár. Megjegyzés a halmazelmélet Gödel-féle axiómarendszeréhez (Eine Bemerkung zum Gödelschen Axiomensystem der Mengenlehre). Ebd., Bd. 7 (1956), S. 26–42, 218–229.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 296
- Print publication:
- September 1957
-
- Article
- Export citation
Makoto Itoh. Tagen n-ti kansûsoku (ronri) hôteisiki no ippankai ni tuite (On the general solution of the n-valued function-lattice (logical) equation in several variables). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 28 no. 4 (1956), pp. 243–246.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 101
- Print publication:
- March 1957
-
- Article
- Export citation
Motokiti Kondô. Sur la nommabilité d'ensembles. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), Bd. 242 (1956), S. 1841–1843. - Motokiti Kondô. Sur les nombres réels et nommables. Ebd., S. 1945–1948. - Motokiti Kondô. Sur les analyses relatives. Ebd., S. 2084–2087. - Motokiti Kondô. Sur la notion du transfini. Ebd., S. 2209–2212. - Motokiti Kondô. Sur le continu projectif et la conclusion de l'étude des ensembles nommables. Ebd., S. 2275–2278.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 299-300
- Print publication:
- September 1957
-
- Article
- Export citation