13629 results in The Journal of Symbolic Logic
Elliott Mendelson. Some proofs of independence in axiomatic set theory. The journal of symbolic logic, vol. 21 (1956), pp. 291–303. - Elliott Mendelson. The independence of a weak axiom of choice. The journal of symbolic logic, pp. 350–366.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 42-44
- Print publication:
- March 1958
-
- Article
- Export citation
Open sentences and the induction axiom1
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 7-12
- Print publication:
- March 1958
-
- Article
- Export citation
A. Heyting. Logique et intuitionnisme. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 75–82. - G. Kreisel, Abraham Robinson, Ingebrigt Johansson, Georges Kurepa, A. Heyting. Discussion. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 82–83.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 33
- Print publication:
- March 1958
-
- Article
- Export citation
Stig Kanger. On the characterization of modalities. Theoria (Lund), vol. 23 (1957), pp. 152–155.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 38
- Print publication:
- March 1958
-
- Article
- Export citation
J. Kalicki. On comparison of finite algebras. Proceedings of the American Mathematical Society, vol. 3 (1952), pp. 36–40.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 378-379
- Print publication:
- December 1957
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 408-409
- Print publication:
- December 1957
-
- Article
- Export citation
A definition of existence in terms of abstraction and disjunction
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-344
- Print publication:
- December 1957
-
- Article
- Export citation
Alan Rose. Le degré de saturation du calcul propositionnel implicatif à m valeurs de Łukasiewicz. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 240 (1955), pp. 2280–2281.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 379-380
- Print publication:
- December 1957
-
- Article
- Export citation
Arthur Pap. Belief and propositions. Philosophy of science, vol. 24 (1957), pp. 123–136.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 391-392
- Print publication:
- December 1957
-
- Article
- Export citation
Karl Dürr. Die Syllogistik des Johannes Hospinianus (1515–1575). Synthese, vol. 9 issue 5 nos. 6A and 6B (1955), pp. 472–484. - Antoni Korcik. Teoria sylogizmu Hospiniana i Leibniza {The theory of syllogism according to Hospinianus and Leibniz). Polish with English summary. Roczniki filozoficzne, vol. 4 (1955), pp. 51–70.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 382
- Print publication:
- December 1957
-
- Article
- Export citation
Bolesław Sobociński. In memoriam Jan Łukasiewicz. Englisch. Philosophical studies (Maynooth), Bd. 6 (1956), S. 3–49. - Heinrich Scholz. In memoriam Jan Łukasiewicz. Deutsch. Archiv für mathematische Logik und Grundlagenforschung, Bd. 3 Heft 1–2 (1957), S. 1–18.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 385-387
- Print publication:
- December 1957
-
- Article
- Export citation
E. W. Beth. L'état actuel du problème logique des antinomies. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, S. 7–14.
-
- 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
Paul Bernays. A system of axiomatic set theory — Part VII. The journal of symbolic logic, vol. 19 (1954), pp. 81–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 367-368
- Print publication:
- December 1957
-
- Article
- Export citation
E. J. Lemmon. Alternative postulate sets for Lewis's S5. The journal of symbolic logic, vol. 21 (1956), pp. 347–349.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 380-381
- Print publication:
- December 1957
-
- Article
- Export citation
A. G. Lunc. Sintéz i analiz réléjno-kontaktnyh shém s pomošč'ú haraktérističéskih funkcij (Synthesis and analysis of relay-contact networks with the aid of characteristic functions). Dohlady Akadémii Nauk SSSR, vol. 75 (1950), pp. 201–204.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 378
- Print publication:
- December 1957
-
- Article
- Export citation
William W. Boone. Certain simple, unsolvable problems of group theory I–IV. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 57 (1954), pp. 231–237, 492–497, and vol. 58 (1955), pp. 252–256, 571–577; also Indagationes mathematicae, vol. 16 (1954), pp. 231–237, 492–497, and vol. 17 (1955), pp. 252–256, 571–577.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 372-373
- Print publication:
- December 1957
-
- Article
- Export citation
R. C. Lyndon. Identities in finite algebras. Proceedings of the American Mathematical Society, vol. 5 (1954), pp. 8–9.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 379
- Print publication:
- December 1957
-
- Article
- Export citation
S. C. Kleene. Errata. Arithmetical predicates and function quantifiers. Transactions of the American Mathematical Society, vol. 80 (1955), p. 386, and vol. 81 (1956), p. 524.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 375
- Print publication:
- December 1957
-
- Article
- Export citation
Werner Markwald. Ein Satz über die elementararithmetischen Definierbarkeitsklassen. Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 2–4 (1956), pp. 78–86; also Archiv für Philosophie vol. 5 no. 4 (1956), pp. 398–406.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 374
- Print publication:
- December 1957
-
- Article
- Export citation
JSL volume 22 issue 4 Cover and Front matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f7
- Print publication:
- December 1957
-
- Article
-
- You have access
- Export citation