13629 results in The Journal of Symbolic Logic
Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-170
- Print publication:
- June 1962
-
- Article
- Export citation
Mark Fischer. A system of deontic-alethic modal logic. Mind, n.s. vol. 71 (1962), pp. 231–236.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 220-221
- Print publication:
- June 1962
-
- Article
- Export citation
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. v-vi
- Print publication:
- June 1962
-
- Article
-
- You have access
- Export citation
An emendation of the axiom system of Hilbert and Ackermann for the restricted calculus of predicates
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-138
- Print publication:
- June 1962
-
- Article
- Export citation
William Kneale and Martha Kneale. The development of logic. Oxford University Press, London1962, viii + 761 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 213-217
- Print publication:
- June 1962
-
- Article
- Export citation
William W. Boone. The word problem. Annals of mathematics, vol. 70 (1959), pp. 207–265.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 238-241
- Print publication:
- June 1962
-
- Article
- Export citation
Donald Monk. On the representation theory for cylindric algebras. Pacific journal of mathematics, vol. 11 (1961), pp. 1447–1457.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 233-234
- Print publication:
- June 1962
-
- Article
- Export citation
Hugues Leblanc. An extension of the equivalence calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 104–105.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 248
- Print publication:
- June 1962
-
- Article
- Export citation
On weak completeness of intuitionistic predicate logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 139-158
- Print publication:
- June 1962
-
- Article
- Export citation
W. Szmielew. Absolute calculus of segments and its metamathematical implications. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 no. 4 (1959), pp. 213–220.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 238
- Print publication:
- June 1962
-
- Article
- Export citation
Robert McNaughton. Axiomatic systems, conceptual schemes, and the consistency of mathematical theories. Philosophy of science, vol. 21 (1954), pp. 44–53. - Robert McNaughton. Conceptual schemes in set theory. The philosophical review, vol. 66 (1957), pp. 66–80.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-222
- Print publication:
- June 1962
-
- Article
- Export citation
Wanda Szmielew. Some metamathematical problems concerning elementary hyperbolic 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, Amsterdam1959, pp. 30–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-238
- Print publication:
- June 1962
-
- Article
- Export citation
Stanisław Kamiński. Fregego logika zdań. Roczniki filozoficzne, vol. 5 no. 2 (1957–1958), pp. 31–64. - S. Kamiński. Frege's logic of propositions. English summary of the preceding. Roczniki filozoficzne, vol. 5 no. 2 (1957–1958), p. 226.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-223
- Print publication:
- June 1962
-
- Article
- Export citation
William W. Boone. The word problem. Proceedings of the National Academy of Sciences of the United States of America, vol. 44 no. 10 (1958), pp. 1061–1065.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 241-242
- Print publication:
- June 1962
-
- Article
- Export citation
R. O. Gandy, G. Kreisel and W. W. Tait. Set existence. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 (1960), pp. 577–582, and vol. 9 (1961), pp. 881–882.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 232-233
- Print publication:
- June 1962
-
- Article
- Export citation
Alan Rose. A note on the use of logical computers to determine the most efficient method of using factory machines. Proceedings of the Cambridge Philosophical Society, vol. 56 part 2 (1960), pp. 186–188. - Alan Rose. A high speed parallel adder. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 240–249.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
- Print publication:
- June 1962
-
- Article
- Export citation
A. N. Prior. Formal logic. Oxford at the Clarendon Press, London1955, ix + 329 pp. - A. N. Prior. Formal logic. Second edition. Oxford at the Clarendon Press, London1962, xi + 341 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 218-220
- Print publication:
- June 1962
-
- Article
- Export citation
Jean Porte. Un système logistique très faible pour le calcul propositionnel classique. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 254 (1962), pp. 2500–2502.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 248
- Print publication:
- June 1962
-
- Article
- Export citation
Joseph S. Ullian. A theorem on maximal sets. Notre Dame journal of formal logic, vol. 2 (1961) pp. 222–223.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 244
- Print publication:
- June 1962
-
- Article
- Export citation
Hugues Leblanc. Études sur les règles d'inférence dites “règles de Gentzen.”Dialogue, vol. 1 no. 1 (1962), pp. 56–66.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 248-249
- Print publication:
- June 1962
-
- Article
- Export citation