13629 results in The Journal of Symbolic Logic
The Craig-Lyndon interpolation theorem in 3-valued logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 230-238
- Print publication:
- June 1970
-
- Article
- Export citation
Abraham A. Fraenkel. Set theory. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 420–427.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 301
- Print publication:
- June 1970
-
- Article
- Export citation
G. Kreisel. Analysis of Cantor-Bendixson theorem by means of the analytic hierarchy.Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 (1959), pp. 621–626.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 334
- Print publication:
- June 1970
-
- Article
- Export citation
Mary Hesse. Laws and theories. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 404–410.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 299
- Print publication:
- June 1970
-
- Article
- Export citation
Correction to a paper on modal set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 242
- Print publication:
- June 1970
-
- Article
- Export citation
A. N. Prior. Existence. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 3, pp. 141–147.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 304-305
- Print publication:
- June 1970
-
- Article
- Export citation
R. L. Vaught. Denumerable models of complete theories. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September, 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 303–321. - Lars Svenonius. On minimal models of first-order systems. Theoria (Lund), vol. 26 (1960), pp. 44–52. - Erwin Engeler. Unendliche Formeln in der Modell-theorie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 154–160. - Gebhard Fuhrken. Bemerkung zu einer Arbeit E. Engelers. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 277–279.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 342-344
- Print publication:
- June 1970
-
- Article
- Export citation
Satoko Titani. An algebraic formulation of cut-elimination theorem. Journal of the Mathematical Society of Japan, vol. 17 (1965), pp. 72–83.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-146
- Print publication:
- March 1970
-
- Article
- Export citation
M. H. Löb. Concatenation as basis for a complete system of arithmetic. The journal of symbolic logic, vol. 18 (1953), pp. 1–6. - M. H. Löb. Formal systems of constructive mathematics. The journal of symbolic logic, vol. 21 (1956), pp. 63–75.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 150
- Print publication:
- March 1970
-
- Article
- Export citation
Every analytic set is Ramsey
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 60-64
- Print publication:
- March 1970
-
- Article
- Export citation
Martin Davis. Lecture notes on mathematical logic. The Institute of Mathematical Sciences, New York University, New York 1959, 91 pp. + Appendix and errata.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 167
- Print publication:
- March 1970
-
- Article
- Export citation
H. A. Pogorzelski. Nonconcatenative abstract Skolem arithmetics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 11 (1965), S. 89–92, 249–252, 373–376.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 150
- Print publication:
- March 1970
-
- Article
- Export citation
Newton P. Stallknecht and Robert S. Brumbaugh. The spirit of western philosophy. A historical interpretation including selections from the major European philosophers, Longmans, Green and Co., New York, London, and Toronto, 1950, xxiii + 540 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 164
- Print publication:
- March 1970
-
- Article
- Export citation
Edward J. Cogan. A formalization of the theory of sets from the point of view of combinatory logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 198–240. - Rainer Titgemeyer. Über einen Widerspruch in Cogans Darstellung der Mengenlehre. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 161–163.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
- Print publication:
- March 1970
-
- Article
- Export citation
Hector-Neri Castañeda. ‘Ought’ and assumption in moral philosophy. The journal of philosophy, vol. 57 (1960), pp. 791–803.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 134-135
- Print publication:
- March 1970
-
- Article
- Export citation
Algebraic completeness results for R-mingle and its extensions
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-13
- Print publication:
- March 1970
-
- Article
- Export citation
Joseph Barback. A note on regressive isols. Notre Dame journal of formal logic, vol. 7 (1966), pp. 203–205.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
- Print publication:
- March 1970
-
- Article
- Export citation
Yoemon Sampei. On set theoretical operations. Commentarii mathematici Universitatis Sancti Pauli, vol. 7 (1959), pp. 117–132, and vol. 9 (for 1960, pub. 1961), pp. 39–51. Corrections. Ibid., p. 52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
- Print publication:
- March 1970
-
- Article
- Export citation
Raphael M. Robinson. Binary relations as primitive notions in elementary geometry. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26,1957-January 4, 1958, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 68–85.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 148
- Print publication:
- March 1970
-
- Article
- Export citation
A. Białynicki-Birula and H. Rasiowa. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 (1958), pp. 287–310.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 138
- Print publication:
- March 1970
-
- Article
- Export citation