13629 results in The Journal of Symbolic Logic
K. R. Popper. Self-reference and meaning in ordinary language. Mind, n. s. vol. 63 (1954), pp. 162–169. - Ellis Evans. On some semantic illusions. Mind, n. s. vol. 63 (1954), pp. 203–218. - Avrum Stroll. Is everyday language inconsistent?Mind, n. s. vol. 63 (1954), pp. 219–225.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 381
- Print publication:
- December 1956
-
- Article
- Export citation
R. N. McLaughlin. Further problems of derived obligation. Mind, n.s. vol. 64 (1955), pp. 400–402.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 379-380
- Print publication:
- December 1956
-
- Article
- Export citation
Jonathan Bennett. Meaning and implication. Mind, n. s. vol. 63 (1954) pp. 451–463.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 393-394
- Print publication:
- December 1956
-
- Article
- Export citation
A. Mostowski, with A. Grzegorczyk, S. Jaśkowski, J. Łoś, S. Mazur, H. Rasiowa, R. Sikorski. Der gegenwärtige Stand der Grundlagenforschung in der Mathematik. Die Hauptreferate des 8. Polnischen Mathematikerkongresses vom 6. bis 12. September 1953 in Warschau, Deutscher Verlag der Wissenschaften, Berlin1955, pp. 11–44. - Andrzej Mostowski, in collaboration with A. Grzegorczyk, S. Jaśkowski, J. Łoś, S. Mazur, H. Rasiowa, and R. Sikorski. The present state of investigations on the foundations of mathematics. English translation. Rozprawy matematyczne no. 9. (Polska Akademia Nauk, Instytut Matematyczny.) Państwowe Wydawnictwo Naukowe, Warsaw1955, 48 pp. - A. Mostowski, with participation of A. Grzegorczyk, J. Łoś, S. Mazur, H. Rasiowa, R. Sikorski, and S. Jaśkowski. Sovréménnoé sostoánié isslédovanij po osnovaniám matématiki. Russian translation. Uspéhi matématičéskih nauk, vol. 9 no. 3 (1954), pp. 3–38.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 372-373
- Print publication:
- December 1956
-
- Article
- Export citation
Joseph Dopp. La formalisation de la logique. Revue philosophique de Louvain, vol. 50 (1952), pp. 533–586. Corrigenda, Revue philosophique de Louvain, vol. 51 (1953), p. 347.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 383
- Print publication:
- December 1956
-
- Article
- Export citation
D. P. Henry. Tautology tessellations. Synthese (Bussum), vol. 9 issue 1 no. 1 (1953), pp. 42–47.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 401
- Print publication:
- December 1956
-
- Article
- Export citation
B. S. Sodnomov. Ṅéprotivoréčivost' proéktivnoj océnki nékotoryh néefféktivnyh, množéstv (Consistency of the projective evaluation of non-effective sets). Uspéhi matématičéskih nauk, vol. 10 no. 1 (1955), pp. 155–158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 406-407
- Print publication:
- December 1956
-
- Article
- Export citation
D. S. Shwayder. “ = ”. Mind, n. s. vol. 65 (1956), pp. 16–37.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 383
- Print publication:
- December 1956
-
- Article
- Export citation
Gr. C. Moisil. Intrebuinţarea imaginarelor lui Galois in teoria mecanismelor automate. I. Asupra schemelor cu elemente ventil. (Application of Galois fields in the theory of automata. I. On circuits with rectifiers.) Comunicǎrile Academiei Republicii Populare Romine, vol. 4 no. 11–12 (1954), pp. 581–585.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 398
- Print publication:
- December 1956
-
- Article
- Export citation
Eugene H. Galanter. An axiomatic and experimental study of sensory order and measure. Psychological review, vol. 63 (1956), pp. 16–28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 397
- Print publication:
- December 1956
-
- Article
- Export citation
A. N. Prior. A note on the logic of obligation. Revue philosophique de Louvain, vol. 54 (1956), pp. 86–87. - Robert Feys. Reply (in French). A note on modal systems, von Wright's M and Lewis's SI. Memoirs of the Osaka University of the Liberal Arts and Education, B. Natural science, no. 4 (1955), pp. 88–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 379
- Print publication:
- December 1956
-
- Article
- Export citation
S. C. Kleene and Emil L. Post. The upper semi-lattice of degrees of recursive unsolvability. Annals of mathematics, ser. 2 vol. 59 (1954), pp. 379–407.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 407-408
- Print publication:
- December 1956
-
- Article
- Export citation
Naoto Yonemitsu. A note on modal systems, von Wright's M and Lewis's SI. Memoirs of the Osaka University of the Liberal Arts and Education, B. Natural science, no. 4 (1955), p. 45.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 379
- Print publication:
- December 1956
-
- Article
- Export citation
I. M. Bocheński. Philosophie et sciences. Studia philosophica (Basel), vol. 13 (1953), pp. 11–18.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 395-396
- Print publication:
- December 1956
-
- Article
- Export citation
Chen-Chung Chang. Some general theorems on direct products and their applications in the theory of models. Ibid., vol. 57 (1954), pp. 592–598; also ibid., vol. 16 (1954), pp. 592–598.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 406
- Print publication:
- December 1956
-
- Article
- Export citation
Hao Wang. Arithmetic translations of axiom systems. Transactions of the American Mathematical Society, vol. 71 (1951), pp. 283–293.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 402-403
- Print publication:
- December 1956
-
- Article
- Export citation
Haskell B. Curry. Philosophische Bemerkungen zu einigen Problemen der mathematischen Logik. Archiv für Philosophie, vol. 4 no. 2 (1951), pp. 147–156. - Haskell B. Curry. L-semantics as a formal system. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 19–29. - Haskell B. Curry. On the definition of substitution, replacement and allied notions in an abstract formal system. Revue philosophique de Louvain, vol. 50 (1952), pp. 251–269. - Haskell B. Curry. Mathematics, syntactics and logic. Mind, n. s. vol. 62 (1953), pp. 172–183. - Haskell B. Curry. Les systèmes formels et les langues. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 1–9. - Paul Bernays, L. E. J. Brouwer, Haskell B. Curry, A. Heyting, Abraham Robinson. Discussion. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 9–10.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 374-377
- Print publication:
- December 1956
-
- Article
- Export citation
G. S. Céjtin. O téorémé Koši v konstruktivnom analizé (On Cauchy's theorem in constructive analysis). Uspéhi matématičéskih nauk, vol. 10 no. 4 (1955), pp. 207–209.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 408-409
- Print publication:
- December 1956
-
- Article
- Export citation
Shen Yuting. Two semantical paradoxes. The journal of symbolic logic, vol. 20 (1955), pp. 119–120.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 380
- Print publication:
- December 1956
-
- Article
- Export citation
David H. Schaefer. A rectifier algebra. Transactions of the American Institute of Electrical Engineers, vol. 74 part I (1955), pp. 679–682.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 400
- Print publication:
- December 1956
-
- Article
- Export citation