13629 results in The Journal of Symbolic Logic
Hao Wang. Arithmetic models for formal systems. Methodos, vol. 3 (1951), pp. 217–232.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 76-77
- Print publication:
- March 1955
-
- Article
- Export citation
A. J. Ayer. Individuals. Mind, n.s. vol. 61 (1952) pp. 441–457.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
- Print publication:
- March 1955
-
- Article
- Export citation
Eighteenth meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 200-205
- Print publication:
- June 1955
-
- Article
- Export citation
J. C. C. McKinsey and Patrick Suppes. Philosophy and the axiomatic foundations of physics. Actes du XIème Congrès International de Philosophie, Volume VI, Philosophie et méthodologie des sciences de la nature, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 49–54.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 191-192
- Print publication:
- June 1955
-
- Article
- Export citation
Yehoshua Bar-Hillel. The present state of research on mechanical translation. American documentation (Cambridge, Mass.), vol. 2 (1951), pp. 229–237. - Yehoshua Bar-Hillel. Some linguistic problems connected with machine translation. Philosophy of science, vol. 20 (1953), pp. 217–225. - Yehoshua Bar-Hillel. A quasi-arithmetical notation for syntactic description. Language, vol. 29 (1953), pp. 47–58. - Yehoshua Bar-Hillel. Can translation be mechanized?American scientist, vol. 42 (1954), pp. 248–260.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 192-194
- Print publication:
- June 1955
-
- Article
- Export citation
Franz Crahay. A propos d'une réduction fallacieuse des notions d'existence et de vérité. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 156–159.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 56
- Print publication:
- March 1955
-
- Article
- Export citation
Robert Feys. A simplified proof of the reduction of all modalities to 42 in S3. Boletin de la Sociedad Matemática Mexicana, vol. 10 nos. 1–2 (1953), pp. 53–57.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 66
- Print publication:
- March 1955
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 198-199
- Print publication:
- June 1955
-
- Article
- Export citation
Rózsa Péter. Transzfinit rekurziók (a matematika alapjai és a rekurzív függvények) (Transfinite Rekursionen (Grundlagenforschung und rekursive Funktionen)). Hungarian, with brief abstract in Russian and fuller abstract in German. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2. — Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathématique János Bolyai, Budapest1952, pp. 419–428.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 73
- Print publication:
- March 1955
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 86-89
- Print publication:
- March 1955
-
- Article
- Export citation
Theodore Hailperin. Remarks on identity and description in first-order axiom systems. The journal of symbolic logic, vol. 19 (1954), pp. 14–20.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-83
- Print publication:
- March 1955
-
- Article
- Export citation
E. W. Beth. Sur le parallélisme logico-mathématique. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 27–32. - Paul Bernays, E. W. Beth, Abraham Robinson. Discussion. Ibid., pp. 32–33.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-185
- Print publication:
- June 1955
-
- Article
- Export citation
Haskell B. Curry. The elimination theorem when modality is present. The journal of symbolic logic, Bd. 17 (1952), S. 249–265.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
- Print publication:
- March 1955
-
- Article
- Export citation
Jan Łukasiewicz. W sprawie aksjomatyki implikacyjnego rachunku zdań (Concerning an axiom system of the imphcational propositional calculus). VI Zjazd Matematyków Polskich, Warszawa 20-23 IX 1948, supplement to Annates de la Société Polonaise de Mathématique, vol. 22, Kraków1950, pp. 87–92.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 173-174
- Print publication:
- June 1955
-
- Article
- Export citation
A. J. Ayer. Negation. The journal of philosophy, vol. 49 (1952), pp. 797–815.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 58-59
- Print publication:
- March 1955
-
- Article
- Export citation
Coherence and the axioms of confirmation1
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-28
- Print publication:
- March 1955
-
- Article
- Export citation
Henryk Greniewski. Próba “odmlodzenia” kwadratu logicznego (Versuch einer “Verjiingung” des logischen Quadrates). Studio logica (Warschau), Bd. 1 (1953), S. 276–286. - Henryk Greniewski. Popytka “omoložéniá” logičéskogo kvadrata (The square of opposition — a new approach). Russische Übersetzung des vorangehenden und kurzer englischer Auszug. Studio logica (Warschau), Bd. 1 (1953), S. 287–297.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 83-84
- Print publication:
- March 1955
-
- Article
- Export citation
Rudolf Carnap. Meaning postulates. Philosophical studies, vol. 3 (1952), pp. 65–73.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 188-189
- Print publication:
- June 1955
-
- Article
- Export citation
Hans Rohrbach. Das Axiomensystem van Erhard Schmidt für die Menge der natürlichen Zahlen. Mathematische Nachrichten, vol. 4 (1951), pp. 315–321.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 68
- Print publication:
- March 1955
-
- Article
- Export citation
A. N. Prior. Modality de dicto and modality de re. Theoria (Lund), vol. 18 (1952), pp. 174–180.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 167
- Print publication:
- June 1955
-
- Article
- Export citation