13629 results in The Journal of Symbolic Logic
P. Vopěnka. The limits of sheaves and applications on constructions of models. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 189–192. - P. Vopěnka. On ∇-model of set theory. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 267–272. - P. Vopěnka. Properties of ∇-model. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 441–444. - P. Vopěnka and P. Hájek. Permutation submodels of the model ∇. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 611–614. - P. Hájek and P. Vopěnka. Some permutation submodels of the model ∇. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 14 (1966), pp. 1–7. - P. Vopěnka. ∇-models in which the generalized continuum hypothesis does not hold. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 14 (1966), pp. 95–99.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 515-516
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Meeting of the association for symbolic logic warsaw 1968
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 533-544
- Print publication:
- 17 November 1969
-
- Article
-
- You have access
- Export citation
Charles Sanders Peirce. Insolubilia. A reprint of 2813. Collected papers of Charles Sanders Peirce, Volume II, Elements of logic, edited by Charles Hartshorne and Paul Weiss, The Belknap Press of Harvard University Press, Cambridge, Mass., and Oxford University Press, London, 1960, pp. 370–371. - C. S. Peirce. On an improvement in Boole's calculus of logic. A reprint of 281. Collected papers of Charles Sanders Peirce, Volume III, Exact logic, pp. 3–15. - C. S. Peirce. Upon the logic of mathematics. A reprint of 282. Collected papers of Charles Sanders Peirce, Volume III, Exact logic, pp. 16–26. - C. S. Peirce. Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole's calculus of logic. A reprint of 284. Collected papers of Charles Sanders Peirce, Volume III, Exact logic, pp. 27–98. - C. S. Peirce. On the algebra of logic. Part I.—Syllogistic. Part II.—The logic of non-relative terms. Part III.—The logic of relatives. A reprint of 285. Collected papers of Charles Sanders Peirce, Volume III, Exact logic, pp. 104–157. - C. S. Peirce. On the logic of number. A reprint of 286.Collected papers of Charles Sanders Peirce, Volume III, Exact logic, pp. 158–170. - C. S. Peirce. Brief description of the algebra of relatives. A reprint of 287. Collected papers of Charles Sanders Peirce, Volume III, Exact logic, pp. 180–186. - C. S. Peirce. The logic of relatives. A reprint of 289. Collected papers of Charles Sanders Peirce, Volume III, Exact logic, pp. 195–209. - C. S. Peirce. On the algebra of logic, A contribution to the philosophy of notation. A reprint of 2810. Collected papers of Charles Sanders Peirce, Volume III, Exact logic, pp. 210–249. - C. S. Peirce. The critic of arguments. A reprint of 2817. Collected papers of Charles Sanders Peirce, Volume III, Exact logic, pp. 250–265.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 494-495
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Philip K. Hooper. Monogenic Post normal systems of arbitrary degree. Journal of the Association for Computing Machinery, vol. 13 (1966), pp. 359–363.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 508-509
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Nonfinitizability of classes of representable polyadic algebras1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 344-352
- Print publication:
- 17 November 1969
-
- Article
- Export citation
JSL volume 34 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- 17 November 1969
-
- Article
-
- You have access
- Export citation
T. G. McLaughlin. Some remarks on extensibility, confluence of paths, branching properties, and index sets, for certain recursively enumerable graphs. Illinois journal of mathematics, vol. 11 (1967), pp. 257–279.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 518
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Per Lindström. On relations between structures. Theoria (Lund), vol. 32 (1966), pp. 172–185.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 515
- Print publication:
- 17 November 1969
-
- Article
- Export citation
The elimination of De Re modalities
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-330
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Free L-algebras1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 475-480
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Applications of Strict Π11 predicates to infinitary logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 409-423
- Print publication:
- 17 November 1969
-
- Article
- Export citation
J. R. Shoenfield. The problem of predicativity. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 132–139.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 515
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Otto Bird. The logical interest of the topics as seen in Abelard. The modern Schoolman, vol. 37 no. 1 (1959), pp. 53–57. - Otto Bird. The formalizing of the topics in mediaeval logic. Notre Dame journal of formal logic, vol. 1 (1960), pp. 138–149. - Otto Bird. Topic and consequence in Ockham's logic.Notre Dame journal of formal logic, vol. 2 (1961), pp. 65–78. - Otto Bird. The re-discovery of the Topics. Mind, n.s. vol. 70 (1961), pp. 534–539.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 497-499
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Ruth Barcan Marcus. Iterated deontic modalities. Mind, n.s. vol. 75 (1966), pp. 580–582.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 500
- Print publication:
- 17 November 1969
-
- Article
- Export citation
L. Kalmár. A practical infinitistic computer. 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-Paris, 1961, pp. 347–362.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 510
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Chen Chung Chang and Alfred Horn. Prime ideal characterization of generalized Post algebras. Lattice theory, Proceedings of symposia in pure mathematics, vol. 2 (1961), pp. 43–48.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 512
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Generic Embeddings
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 388-394
- Print publication:
- 17 November 1969
-
- Article
- Export citation
M. D. Gladstone. Some ways of constructing a propositional calculus of any required degree of unsolvability. Transactions of the American Mathematical Society, vol. 118 (1965), pp. 192–210.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 505-506
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Michael O. Rabin and Hao Wang. Words in the history of a Turing machine with a fixed input. Journal of the Association for Computing Machinery, vol. 10 (1963), pp. 526–527.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 508
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Nicholas Rescher. Recent developments and trends in logic. Logique et analyse, n.s. vol. 9 (1966), pp. 269–279. - Yehoshua Bar-Hillel. A neglected recent trend in logic. Logique et analyse, n.s. vol. 10 (1967), pp. 235–238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 500
- Print publication:
- 17 November 1969
-
- Article
- Export citation