13629 results in The Journal of Symbolic Logic
F. Gonseth and G. H. Müller. Philosophie mathématique. Philosophie (Chronique des années d'après guerre 1946–1948), XIII Philosophie des sciences, publiée par l'Institut International de Philosophie, Actualités scientifiques et industrielles 1105, Hermann & Cie, Paris1950, pp. 33–127.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 309-310
- Print publication:
- September 1956
-
- Article
- Export citation
Alan Rose. The degree of completeness of the m-valued Łukasiewicz propositional calculus. The journal of the London Mathematical Society, vol. 27 (1952), pp. 92–102.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 327-328
- Print publication:
- September 1956
-
- Article
- Export citation
V. I. Ivanov. Cikličéskié réléjnyé shémy i analitičéskhié sootnošéniá v nih (Cyclic relay networks and analytical relations in them). Doklady Akadémii Nauk SSSR, vol. 104 (1955), pp. 239–241.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 333
- Print publication:
- September 1956
-
- Article
- Export citation
Kazimierz Ajdukiewicz. Klasyfikacja rozumowań (Classification of reasonings). Polish, with brief summaries in Russian and English. Studia logica, pp. 278–300.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 311-312
- Print publication:
- September 1956
-
- Article
- Export citation
Ivo Thomas. Farrago logica. Anglais. Dominican studies, t. 4 (1951), p. 69–79.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 314-315
- Print publication:
- September 1956
-
- Article
- Export citation
D. van Dantzig. Mathématique stable et mathématique affirmative. Congrès International de Philosophie des Sciences, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 123–135.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 323-324
- Print publication:
- September 1956
-
- Article
- Export citation
Raymond J. Nelson. Weak simplest normal truth functions. The journal of symbolic logic, vol. 20 (1955) pp. 232–234.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-331
- Print publication:
- September 1956
-
- Article
- Export citation
John Myhill. A system which can define its own truth. Fundamenta mathematicae, vol. 37 (for 1950, pub. 1951), pp. 190–192.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 319
- Print publication:
- September 1956
-
- Article
- Export citation
Naoto Yonemitsu. Note on completeness of m-valued propositional calculi. Mathematica Japonicae, vol. 3 (1954), pp. 57–61.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 328
- Print publication:
- September 1956
-
- Article
- Export citation
The representations of S5
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 257-260
- Print publication:
- September 1956
-
- Article
- Export citation
Bolesław Sobociński. Studies in Leśniewski's mereology. Rocznik Polskiego Towarzystwa Naukowego na Obczyźnie (London), rok 1954–55 (pub. 1955), pp. 34–43. - Czesław Lejewski. A contribution to Leśniewski's mereology. Rocznik Polskiego Towarzystwa Naukowego na Obczyźnie (London), rok 1954–55 (pub. 1955), pp. 43–50.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 325-326
- Print publication:
- September 1956
-
- Article
- Export citation
Naoto Yonemitsu. A note on systems of logical implication. Memoirs of the Osaka University of the Liberal Arts and Education, B. Natural science, no. 3 (1954), pp. 21–24.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 327
- Print publication:
- September 1956
-
- Article
- Export citation
Some proofs of independence in axiomatic set theory1
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-303
- Print publication:
- September 1956
-
- Article
- Export citation
Toshio Umezawa. Über die Zwischensysteme der Aussagenlogik. Nagoya mathematical journal. Bd. 9 (1955), S. 181–189.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 324-325
- Print publication:
- September 1956
-
- Article
- Export citation
Raymond J. Nelson. Simplest normal truth functions. The journal of symbolic logic, vol. 20 (1955), pp. 105–108. - W. V. Quine. A way to simplify truth functions. The American mathematical monthly, vol. 62 (1955), pp. 627–631.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 328-330
- Print publication:
- September 1956
-
- Article
- Export citation
Janina Kotarbińska. Definicja. Polish, with brief summaries in Russian and English. Studia logica, pp. 301–321. - Janina Kotarbińska. Logičéskoé oprédélénié. Russian summary. Polish, with brief summaries in Russian and English. Studia logica, pp. 321–324. - Janina Kotarbińska. On definition. English summary. Polish, with brief summaries in Russian and English. Studia logica, pp. 324–327.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 312
- Print publication:
- September 1956
-
- Article
- Export citation
On the relative consistency of set theory1
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-290
- Print publication:
- September 1956
-
- Article
- Export citation
Henryk Stonert. Sprawozdanie z I Konferencji Logików (Warszawa, grudzień 1952) (Report on the First Conference of Logicians (Warsaw, December 1952)). Polish, with summaries in Russian and English. Studia logica, vol. 2 (1955), pp. 251–266.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 311
- Print publication:
- September 1956
-
- Article
- Export citation
Howard H. Aiken, William Burkhart, Theodore Kalin, Peter F. Strong, and others (Staff of the Computation Laboratory of Harvard University). Sintéz eléktronnyh vyčislitél'nyh i upravláúščih shém. Russian translation of XVIII 347(2) by É. I. Mašonov, L. É. Sadovskij, and M. A. Hatagurov, edited by V. I. Šéstakov. Izdatél'stvo Inostrannoj Litératury, Moscow1954, 359 pp. - G. N. Povarov. Review of the preceding. Russian. Avtomatika i téléméhanika, vol. 15 (1954), pp. 567–569. - M. A. Gavrilov. Téoriá réléjno-kontaktnyh shém. Analiz i sintéz struktury réléjno-kontaktnyh shém. (Theory of relay-contact networks. Analysis and synthesis of the structure of relay-contact networks.). Akadémiá Nauk SSSR, Institut Avtomatiki i Téléméhaniki. Izdatél'stvo Akadémii Nauk SSSR, Moscow-Leningrad1950, 302 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 331
- Print publication:
- September 1956
-
- Article
- Export citation
Curt Christian. A proof of the inconsistency of Quine's system “Mathematical logic (1951).” Theoria (Madrid), vol. 3 no. 9 (1955), pp. 135–136.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 322
- Print publication:
- September 1956
-
- Article
- Export citation