13629 results in The Journal of Symbolic Logic
Arthur W. Burks, Robert McNaughton, Carl H. Pollmar, Don W. Warren, and Jesse B. Wright. Complete decoding nets: general theory and minimality. Journal of the Society for Industrial and Applied Mathematics, vol. 2 (1954), pp. 201–243.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 210
- Print publication:
- June 1956
-
- Article
- Export citation
On formulas with valid cases
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 148
- Print publication:
- June 1956
-
- Article
- Export citation
Wilfrid Sellars. Inference and meaning. Mind, n.s. vol. 62 (1953), pp. 313–338.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 203-204
- Print publication:
- June 1956
-
- Article
- Export citation
Problems in symbolic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 215
- Print publication:
- June 1956
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 211-214
- Print publication:
- June 1956
-
- Article
- Export citation
Kazuo Matsumoto. Reduction theorem in Lewis' sentential calculi. Mathematica Japonicae, vol. 3 no. 3 (1955), pp. 133–135.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 200
- Print publication:
- June 1956
-
- Article
- Export citation
On the interpretation of Aristotelian syllogistic
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 137-147
- Print publication:
- June 1956
-
- Article
- Export citation
Seweryna Łuszczewska-Romahnowa. Analiza i uogólnienie metody sprawdzania formuł logicznych przy pomocy diagramów Venna. English, with abstracts in Polish and Russian. Studia logica (Warsaw), vol. 1 (1953), pp. 185–213. See Errata, ibid., p. 300. - Seweryna Łuszczewska-Romahnowa Analiz i obobščénié métoda provérki logičéskih formul diagrammami Vénna. Russian translation. English, with abstracts in Polish and Russian. Studia logica (Warsaw), vol. 1 (1953), pp. 214–244. See Errata, ibid., p. 301. - Seweryna Łuszczewska-Romahnowa An analysis and generalization of Venn's diagrammatic decision procedure. English summary. English, with abstracts in Polish and Russian. Studia logica (Warsaw), vol. 1 (1953), pp. 245–246. See Errata, ibid., p. 301.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 193
- Print publication:
- June 1956
-
- Article
- Export citation
Robert Stanley. An extended procedure in quantificational logic. The journal of symbolic logic, Bd. 18 (1953), S. 97–104.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
- Print publication:
- June 1956
-
- Article
- Export citation
Zyoiti Suetuna. Zentai to yû koto ni tuite (On the notion of totality). Kisokagaku, no. 30 (121952), pp. 1–3 (pp. 959–961).
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 95
- Print publication:
- March 1956
-
- Article
- Export citation
Kinjiro Kunugui. Skolem-Löwenheim no teiri ni tuite (On the theorem of Skolem-Löwenheim). Kisokagaku, no. 30 (121952), pp. 35–39. - Arnaud Denjoy. L'énumération transfinie. Livre IV. Notes sur les sujets controversés. Gauthier-Villars, Paris1954, title pages + pp. 773–971.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-96
- Print publication:
- March 1956
-
- Article
- Export citation
Zyoiti Suetuna. Über die Grundlagen der Mathematik. Journal of the Mathematical Society of Japan, vol. 3 no. 1 (1951), pp. 59–68.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 94
- Print publication:
- March 1956
-
- Article
- Export citation
Th. Skolem. A remark on a set theory based on positive logic. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 25 (1952), pp. 112–116.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-98
- Print publication:
- March 1956
-
- Article
- Export citation
Paul Carl Gilmore. The effect of Griss' criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic. English with Dutch Samenvatting. Dissertation Amsterdam 1953, viii + 25 pp. - P. C. Gilmore. The effect of Griss' criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic. The same paper with omission of the preface and the Dutch summary. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 (1953), pp. 162–186; also Indagationes mathematicae, vol. 15 (1953), pp. 162–186.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-92
- Print publication:
- March 1956
-
- Article
- Export citation
Hans Freudenthal. Inhoudelijke interpretaties in de formele logica (Meaningful interpretations in formal logic). Koninklijke Nederlandse Akademie van Wetenschappen, Verslag van de gewone vergaderingen der Afdeling Natuurkunde, vol. 62 (1953), pp. 94–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 91
- Print publication:
- March 1956
-
- Article
- Export citation
P. C. Gilmore. Griss' criticism of the intuitionistic logic and the theory of order. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 98–104.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 93-94
- Print publication:
- March 1956
-
- Article
- Export citation
S. V. Áblonskij. Réalizaciá linéjnoj funkcii v klassé Π-shém (Realization of a linear function in the class of Π-circuits). Doklady Akadémii Nauk SSSR, vol. 94 (1954) pp. 805–806.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 102
- Print publication:
- March 1956
-
- Article
- Export citation
R. Duncan Luce. A note on Boolean matrix theory. Proceedings of the American Mathematical Society, vol. 3 (1952), pp. 382–388.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-103
- Print publication:
- March 1956
-
- Article
- Export citation
Jerzy Słupecḱi. Über die Regeln des Aussagenkalküls. Deutsch, mit Auszügen in Polnisch und Russisch. Ebd., S. 19–43.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-88
- Print publication:
- March 1956
-
- Article
- Export citation
Miguel Sánchez-Mazas. Un intento de expresión matemática de la lógica modal clasica: El grupo de matrices modales y el sistema de coordenadas modales. Theoria (Madrid), vol. 2 no. 7–8 (1954), pp. 188–192.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 1 / March 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 106-107
- Print publication:
- March 1956
-
- Article
- Export citation