13629 results in The Journal of Symbolic Logic
Definability and simplicity
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 3 / September 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 235-250
- Print publication:
- September 1955
-
- Article
- Export citation
JSL volume 20 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- June 1955
-
- Article
-
- You have access
- Export citation
JSL volume 20 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f5
- Print publication:
- June 1955
-
- Article
-
- You have access
- Export citation
H. Rasiowa and R. Sikorski. Algebraic treatment of the notion of satisfiability. Fundamenta mathematicae, vol. 40 (1953), pp. 62–95.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 78-80
- Print publication:
- March 1955
-
- Article
- Export citation
W. Peremans. Some theorems on free algebras and on direct products of algebras. Simon Stevin, vol. 29 (1952), pp. 51–59.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 184
- Print publication:
- June 1955
-
- Article
- Export citation
Robert Feys. Nature et possibilités de la logique formalisée. Congrès International de Philosophie des Sciences, Paris, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & C1e, Paris, 1951, pp. 69–80. - Robert Feys. La formalisation comme suggestion rigoureuse. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques intemationaux du Centre National de la Recherche Scientifique no. 36, Paris, 1953, pp. 53–58.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 66
- Print publication:
- March 1955
-
- Article
- Export citation
W. Peremans. Metamathematische beschouwingen over de algebra (Metamathematical consideration of algebra). Mimeographed. Mathematisch Centrum, Amsterdam, Rapport ZW1951, 026, 8 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 80
- Print publication:
- March 1955
-
- Article
- Export citation
Hans Heinz Holz. Zutn Problem der Konstitution von Bedeutung. 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. 180–184. - H. G. Alexander. Language and hypostatization. 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. 185–190. - Hugo Dingler. Was ist Konventionalismus? Zum 50jährigen Jubiläum des Erscheinens der deutschen Ausgabe von Henri Poincarés Wissenschaft und Hypothese. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 199–204. - Dimitri Riabouchinsky. La définition des nombres par leur valeur numérique et par leur origine; rôle de ce concept en philosophie mathématique. 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. 208–214. - Miguel Sanchez-Mazas. La matemática como ciencia de estructuras formates (dialectica) y como ciencia de estructuras reales (ciencia natural). 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. 218–223. - J. W. Scott (editor). A synoptic index to the Proceedings of the Aristotelian Society 1900–1949. Basil Blackwell, Oxford1954, viii + 0205 + 127 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 57-58
- Print publication:
- March 1955
-
- Article
- Export citation
H. Rasiowa and R. Sikorski. On existential theorems in non-classical junctional calculi. Fundamenta mathematicae, vol. 41 no. 1 (1954), pp. 21–28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 80
- Print publication:
- March 1955
-
- Article
- Export citation
S. V. Áblonskij. O supérpoziciáh funkcij algébry logiki (On superpositions of functions of the algebra of logic). Matématičéskij sbornik, n.s. vol. 30 (1952), pp. 329–348.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 175
- Print publication:
- June 1955
-
- Article
- Export citation
A. M. MacIver. Do words mean anything?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. 172–175. See corrigenda, ibid., Volume XIV, p. 328.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-57
- Print publication:
- March 1955
-
- Article
- Export citation
Victor Kraft. Der Positivismus. Studium generale, vol. 7 (1954), pp. 73–79.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 191
- Print publication:
- June 1955
-
- Article
- Export citation
Henry W. Johnstone Jr. Elementary deductive logic. Thomas Y. Crowell Company, New York1954, viii + 241 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 165-166
- Print publication:
- June 1955
-
- Article
- Export citation
Haskell B. Curry. The permutability of rules in the classical inferential calculus. The journal of symbolic logic, Bd. 17 (1952), S. 245–248.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-67
- Print publication:
- March 1955
-
- Article
- Export citation
R. M. Yost Jr. Leibniz and philosophical analysis. University of California publications in philosophy, vol. 27. University of California Press, Berkeley and Los Angeles1954, xii + 207 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 171
- Print publication:
- June 1955
-
- Article
- Export citation
A. J. J. De Witte. The relations of symbolic logic and comparative linguistics. 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. 176–179.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 57
- Print publication:
- March 1955
-
- Article
- Export citation
Takeo Sugihara. Aristoteles ni okeru tokusyó to huteisyó (Particular and indefinite propositions in Aristotelian logic). Japanese with English summary. Memoirs of the Liberal Arts College, Fukui University, vol. 3 (1954), pp. 77–86.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 172
- Print publication:
- June 1955
-
- Article
- Export citation
W. V. Quine. On Carnap's views on ontology. Philosophical studies, vol. 2 (1951), pp. 65–72.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 61-62
- Print publication:
- March 1955
-
- Article
- Export citation
A. N. Prior. Negative quantifiers. The Australasian journal of philosophy, vol. 31 (1953), pp. 107–123.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 166-167
- Print publication:
- June 1955
-
- Article
- Export citation
Romane Clark. A note on Reickenbach's class calculus. Mind, n.s. vol. 61 (1952), pp. 270–272.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 60
- Print publication:
- March 1955
-
- Article
- Export citation