13629 results in The Journal of Symbolic Logic
Linear reasoning. A new form of the Herbrand-Gentzen theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 250-268
- Print publication:
- September 1957
-
- Article
- Export citation
J. Barkley Rosser. The relative strength of Zermelo's set theory and Quine's New Foundations. Proceedings of the International Congress of Mathematicians 1954, Amsterdam, September 2-September 9, Volume III, 1956, Erven P. Noordhoff N.V., Groningen, and North-Holland Publishing Co., Amsterdam, pp. 289–294.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 294
- Print publication:
- September 1957
-
- Article
- Export citation
Toshihiko Kurihara. Yûgen tatironri no denki kairo ni yoru hyôgen ni tuite (On the representation of finitely many-valued logics by electric circuits). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 28 no. 2 (1955), pp. 102–106.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 102
- Print publication:
- March 1957
-
- Article
- Export citation
Alonzo Church. Introduction to mathematical logic. Volume I. Princeton mathematical series, no. 17. Princeton University Press, Princeton1956, x + 376 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 286-289
- Print publication:
- September 1957
-
- Article
- Export citation
Erik Götlind. Some Sheffer functions in n-valued logic. Portugaliae mathematica, vol. 11 (1952), pp. 141–149.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-330
- Print publication:
- September 1957
-
- Article
- Export citation
Günter Schliebs. Ueber die Grundlagen der Algebra der Logik und ihre Anwendung in der Schaltungstheorie. Funk und Ton, vol. 8 (1954), pp. 57–71.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 98
- Print publication:
- March 1957
-
- Article
- Export citation
Stig Kanger. A note on partial postulate sets for propositional logic. Theoria (Lund), vol. 21 (1955), pp. 99–104.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-331
- Print publication:
- September 1957
-
- Article
- Export citation
Alessandro Terracini. Prefazione. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 5–7. - Beppo Levi. L'opera matematica di Giuseppe Peano. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 9–21. - Guido Ascoli. I motivi fondamentali dell'opera di Giuseppe Peano. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 23–30. - Beniamino Segre. Peano ed il Bourbakismo. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 31–39. - Francesco Barone. Un'apertura filosofica della logica simbolica peaniana. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 41–50. - Ludovico Geymonat. I fondamenti dell'aritmetica secondo Peano e le obiezioni “filosofiche” di B. Russell. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 51–63. - Tommaso Boggio. Il calcolo geometrico di Peano. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 65–69. - Ugo Cassina. Sul “Formulario mathematico” di Peano. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 71–102. - Ettore Carruccio. Spunti di storia delle matematiche e dell a logica nell'opera di G. Peano. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 103–114.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 306-307
- Print publication:
- September 1957
-
- Article
- Export citation
János Surányi. A matematikai logika eldöntésproblémájáról (Über das Entscheidungsproblem der mathematischen Logik). Ebd., S. 180–197.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 296
- Print publication:
- September 1957
-
- Article
- Export citation
V. I. Šéstakov. Modélirovanié opéracij isčisléniá prédložénij posrédstvom prostéjših čétyréhpolúsnyh shém (The modeling of the propositional calculus by means of simple four-terminal networks). Vyčislitél'naá matématika i vyčislitél'naá téhnika, no. 1 (1953), pp. 56–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
- Print publication:
- September 1957
-
- Article
- Export citation
Twenty-First Annual Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-112
- Print publication:
- March 1957
-
- Article
- Export citation
Alan Ross Anderson. Independent axiom schemata for S5. The journal of symbolic logic, vol. 21 (1956), pp. 255–256.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 327
- Print publication:
- September 1957
-
- Article
- Export citation
Hao Wang. On formalization. Mind, n.s. vol. 64 (1955), pp. 226–238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 292
- Print publication:
- September 1957
-
- Article
- Export citation
Giovanni Vacca. Perché non si è sviluppata la scienza in Cina. Origini della scienza, by Giovanni Vacca, Partenia, Rome1946, pp. 7–19. See Discussione, by A. C. Blanc, G. Bonarelli, P. Mingazzini, G. Rabbeno, and G. Vacca, ibid., pp. 47–58. - Giovanni Vacca. Matematica e tecnica: Origine e sviluppo dei concetti matematici. Origini delta scienza, by Giovanni Vacca, Partenia, Rome1946, pp. 20–29 - Giovanni Vacca. Logica matematica e lo gistica — Sni postulati dell'aritmetica e la loro compatibility. In memoria di Giuseppe Peano, Presso il Liceo Scientifico Statale, Cuneo1955, pp. 30–36, 37–44.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 307-308
- Print publication:
- September 1957
-
- Article
- Export citation
František Svoboda. Neurčitá dvouhodnotová Booleova funkce (An indeterminate two-valued Boolean function). Česko-slovensky časopis pro péstovani matematiký, vol. 4 (1953), pp. 273–275. - František Svoboda. Užiti neurčité dvouhodnotové Booleovy funkce na synthesu jednotaktnich hradlových schemat (The use of indeterminate two-valued Boolean functions for the synthesis of switching circuits). Československá Akademie Véd, Laboratoř Matematických Stroju̇, Stroje na zpracováni informaci, no. 2 (1954), pp. 209–224.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-100
- Print publication:
- March 1957
-
- Article
- Export citation
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-285
- Print publication:
- September 1957
-
- Article
- Export citation
Can the logic of indirect discourse be formalised?
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-232
- Print publication:
- September 1957
-
- Article
- Export citation
A. P. Ushenko. The counterfactual. The journal of philosophy, vol. 51 (1954), pp. 369–383.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 321-322
- Print publication:
- September 1957
-
- Article
- Export citation
Y. Bar-Hillel. Indexical expressions. Mind, n.s., vol. 63 (1954), pp. 359–379.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 320-321
- Print publication:
- September 1957
-
- Article
- Export citation
Andrzej Grzegorczyk. Uwagi o rozumieniu praw logiki (Bemerkungen über das Verstehen logischer Gesetze). Myśl filozoficzna, Bd. 1 (15) (1955), S. 206–221.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
- Print publication:
- September 1957
-
- Article
- Export citation