13629 results in The Journal of Symbolic Logic
A. Mostowski. L'oeuvre scientifique de Jan Łukasiewicz dans le domaine de la logique mathématique. Fundamenta mathematicae, Bd. 44 (1957), S. 1–11.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 387-388
- Print publication:
- December 1957
-
- Article
- Export citation
J. Richard Büchi and Jesse B. Wright. The theory of proportionality as an abstraction of group theory. Mathematische Annalen, vol. 130 no. 2 (1955), pp. 102–108.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 369
- Print publication:
- December 1957
-
- Article
- Export citation
E. W. Beth. Remarks on natural deduction. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, Vol. 58 (1955), pp. 322–325; also Indagationes mathematicae, vol. 17 (1955) pp. 322–325. - E. W. Beth. Semantic entailment and formal derivability. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. letterkunde, n.s. vol. 18 no. 13 (1955), pp. 309–342. - K. Jaakko J. Hintikka. A new approach to sentential logic. Societas Scientiarum Fennica, Commentationes physico-mathematicae, vol. 17 no. 2 (1953), 14 pp. - K. Jaakko J. Hintikka. Form and content in quantification theory. Two papers on symbolic logic, Acta philosophica Fennica no. 8, Helsinki1955, pp. 7–55. - K. Jaakko J. Hintikka. Notes on quantification theory. Societas Scientiarum Fennica, Commentationes physico-mathematicae, vol. 17 no. 12 (1955), 13 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 360-363
- Print publication:
- December 1957
-
- Article
- Export citation
Wilfrid Sellars. Some reflections on language games. Philosophy of science, vol. 21 (1954), pp. 204–228.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 402-403
- Print publication:
- December 1957
-
- Article
- Export citation
Julia Robinson. A note on primitive recursive functions. Ebd., S. 667–670.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 376
- Print publication:
- December 1957
-
- Article
- Export citation
Veli Valpola. Ein System der negationslosen Logik mit ausschliesslich realisierbaren Prädikaten. Acta philosophica Fennica, no. 9. Helsinki1955, 247 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 355-356
- Print publication:
- December 1957
-
- Article
- Export citation
Bolesław Sobociński. On well constructed axiom systems, Rocznik Polskiego Towarzystwa Naukowego na Obczyźnie (London), vol. 6 (for 1955–6, pub. 1956), pp. 54–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 358-359
- Print publication:
- December 1957
-
- Article
- Export citation
On logically false evidence statements
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-349
- Print publication:
- December 1957
-
- Article
- Export citation
Gaisi Takeuti. Construction of ramified real numbers. Annals of the Japan Association for Philosophy of Science, Bd. 1 Heft 1 (1956), S. 41–61.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 352
- Print publication:
- December 1957
-
- Article
- Export citation
Hyman Kamel. Relational algebra and uniform spaces. The journal of the London Mathematical Society, vol. 29 (1954), pp. 342–344.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 370-371
- Print publication:
- December 1957
-
- Article
- Export citation
R. Gréa and R. Higonnet. Étude logique des circuits de contacts. Revue générale de l'électricité, vol. 63 (1954), pp. 19–34. - R. Higonnet and R. Gréa. Étude logique des circuits électriques et des systèmes binaires. Berger-Levrault, Paris1955, viii + 452 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 377-378
- Print publication:
- December 1957
-
- Article
- Export citation
Index of reviews
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 422-442
- Print publication:
- December 1957
-
- Article
- Export citation
Avrum Stroll. Believing the meaningless: A reply to Mr. Mellor. Analysis (Oxford), vol. 16 no. 2 (1955), pp. 45–48.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 390-391
- Print publication:
- December 1957
-
- Article
- Export citation
Zyoiti Suetuna. Über den Begriff der Totalität in der Mathematik. Ebd., S. 33–40.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 352-353
- Print publication:
- December 1957
-
- Article
- Export citation
Leonard Linsky. Professor Donald Williams on Aristotle. The philosophical review, vol. 63 (1954), pp. 250–252. - Donald C. Williams. Professor Linsky on Aristotle. The philosophical review, vol. 63 (1954), pp. 253–255. - Ronald J. Butler. Aristotle's sea fight and three-valued logic. The philosophical review, vol. 64 (1955), pp. 264–274.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 384-385
- Print publication:
- December 1957
-
- Article
- Export citation
J. C. Shepherdson. On the interpretation of Aristotelian syllogistic. The journal of symbolic logic, vol. 21 (1956), pp. 137–147.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 381
- Print publication:
- December 1957
-
- Article
- Export citation
Robert S. Hartman. The analytic and the synthetic as categories of inquiry. Perspectives in philosophy, Essays by members of the Department of Philosophy, The Ohio State University, 1953, pp. 55–78.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 401
- Print publication:
- December 1957
-
- Article
- Export citation
John E. Freund. Chapter 23: Logic. A modern introduction to mathematics, by John E. Freund, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1956, pp. 415–449.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 407
- Print publication:
- December 1957
-
- Article
- Export citation
Alfred Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific journal of mathematics, Bd. 5 (1955), S. 285–309.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 370
- Print publication:
- December 1957
-
- Article
- Export citation
Richard L. Cartwright. Ontology and the theory of meaning. Philosophy of science, vol. 21 (1954), pp. 316–325.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 393-394
- Print publication:
- December 1957
-
- Article
- Export citation