13629 results in The Journal of Symbolic Logic
N. G. de Bruijn. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem. Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A vol. 75 (1972), pp. 381–392; also Indagationes mathematicae, vol. 34 (1972), pp. 381–392.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 470
- Print publication:
- September 1975
-
- Article
- Export citation
Arthur Pap. Logic and the concept of entailment. The journal of philosophy, vol. 47 (1950), pp. 378–387.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 466
- Print publication:
- September 1975
-
- Article
- Export citation
Masao Ohnishi and Kazuo Matsumoto. Gentzen method in modal calculi, II. Osaka mathematical journal, vol. 11 no. 1 (1959), pp. 115–120.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 467-468
- Print publication:
- September 1975
-
- Article
- Export citation
C. E. M. Yates. Arithmetical sets and retracing functions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 193–204.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 453
- Print publication:
- September 1975
-
- Article
- Export citation
A. S. Kuzičév. Diagrammy Vénna. Istoriá i priménéniá. (Venn diagrams. History and applications.) Izdatél'stvo “Nauka,” Moscow1968, 252 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 469-470
- Print publication:
- September 1975
-
- Article
- Export citation
A theorem on shortening the length of proof in formal systems of arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 398-400
- Print publication:
- September 1975
-
- Article
- Export citation
Semi-minimal theories and categoricity
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 419-438
- Print publication:
- September 1975
-
- Article
- Export citation
Jaakko Hintikka. Induction by enumeration and induction by elimination. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 2, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 191–216.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 448-449
- Print publication:
- September 1975
-
- Article
- Export citation
Masao Ohnishi. Gentzen decision procedures for Lewis's systems S2 and S3. Osaka mathematical journal, vol. 13 (1961), pp. 125–137.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 468-469
- Print publication:
- September 1975
-
- Article
- Export citation
Giuliano di Bernardo. Introduzione alla logica dei sistemi normative. Società editrice il Mulino, Bologna1972, 183 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 466
- Print publication:
- September 1975
-
- Article
- Export citation
J. Diller. Zur Berechenbarkeit primitiv-rekursiver funktionale endlicher Typen. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 109–120.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 453-454
- Print publication:
- September 1975
-
- Article
- Export citation
Miroslav Benda. On saturated reduced products. Pacific journal of mathematics, vol. 39 (1971), pp. 557–571.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 456
- Print publication:
- September 1975
-
- Article
- Export citation
E. M. Kleinberg and R. A. Shore. On large cardinals and partition relations. The journal of symbolic logic, vol. 36 (1971), pp. 305–308.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 463
- Print publication:
- September 1975
-
- Article
- Export citation
Construction of models from groups of permutations
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 383-388
- Print publication:
- September 1975
-
- Article
- Export citation
E. William ChapinJr., Gentzen-like systems for partial propositional calculi. Notre Dame journal of formal logic, vol. 12 (1971), pp. 75–80, and pp. 179–182.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 469
- Print publication:
- September 1975
-
- Article
- Export citation
Karl Popper. The logic of scientific discovery. Harper torchbooks. Harper & Row, New York and Evanston1968, 480 pp. - Karl Popper. Addendum, 1964. Therein, p. 358. - Karl Popper. Addendum, 1967. Therein, p. 362. - Karl Popper. Addendum, 1967. Therein, p. 386. - Karl Popper. Addendum, 1968. Therein, p. 441.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 471-472
- Print publication:
- September 1975
-
- Article
- Export citation
Masao Ohnishi. Von Wright-Anderson's decision procedures for Lewis's systems S2 and S3. Osaka mathematical journal, vol. 13 (1961), pp. 139–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 469
- Print publication:
- September 1975
-
- Article
- Export citation
J. I. Friedman. Proper classes as members of extended sets. Mathematische Annalen, vol. 83 (1969), pp. 232–240.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 462
- Print publication:
- September 1975
-
- Article
- Export citation
Walter Taylor. Some constructions of compact algebras. Annals of mathematical logic, vol. 3 no. 4 (1971), pp. 395–437. - Walter Taylor. Residually small varieties. Algebra universalis (Basel), vol. 2 no. 1 (1972), pp. 33–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 455-456
- Print publication:
- September 1975
-
- Article
- Export citation
A. Heyting. Intuitionism in mathematics. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des mathématiques), edited by Raymond Klibansky, La Nuova Italia Editrice, Florence1968, pp. 316–323.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 472
- Print publication:
- September 1975
-
- Article
- Export citation