13629 results in The Journal of Symbolic Logic
The decidability of certain intermediate propositional logics1
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 258-264
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Arto Salomaa. A theorem concerning the composition of functions of several variables ranging over a finite set. The journal of symbolic logic, vol. 25 no. 3 (for 1960, pub. 1962), pp. 203–208. - Arto Salomaa. On basic groups for the set of functions over a finite domain. Annales Academiae Scientiarum Fennicae, Series A.I, Mathematica, no. 338, Helsinki1963, 15 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 307
- Print publication:
- 23 July 1968
-
- Article
- Export citation
JSL volume 33 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- 23 July 1968
-
- Article
-
- You have access
- Export citation
Independence of two nice sets of axioms for the propositional calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 265-270
- Print publication:
- 23 July 1968
-
- Article
- Export citation
A. L. Čérnávskij. Modélirovanié procéssa réšéniá složnyh logičéskih zadač na vyčislitél′nyh mašinah (evrističéstoé programmirovanié). Russian with English summary. Avtomatika i téléméhanika, no. 1 (1967), pp. 166–187. - A. L. Chernyavskii. Computer simulation of the process of solving complex logical problems (heuristic programming). English translation of the preceding. Automation and remote control, no. 1 (1967), pp. 145–167.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
- Print publication:
- 23 July 1968
-
- Article
- Export citation
John Thomas Canty. Systems classically axiomatized and properly contained in Lewis's S3. Notre Dame Journal of formal logic, vol. 6 (1965), pp. 309–318.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 309
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Wacław Sierpiński. Algèbre des ensembles. Monografie matematyczne, vol. 23. Warsaw and Breslau1951, 205 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 292
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Alfred B. Manaster. Higher-order indecomposable isols. Transactions of the American Mathematical Society, vol. 125 (1966), pp. 363–383.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-296
- Print publication:
- 23 July 1968
-
- Article
- Export citation
H. Jerome Keisler. Unions of relational systems. Proceedings of the American Mathematical Society, vol. 15 (1964), pp. 540–545. - Jan Mycielski. On unions of denumerable models. Algébra i logika. Séminar, vol. 4 no 2 (1965), pp. 57–58.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 287
- Print publication:
- 23 July 1968
-
- Article
- Export citation
D. L. Kreider and R. W. Ritchie. Predictably computable functionals and definition by recursion. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 65–80.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 298-299
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Karl Döhmann. Der Gruppencharakter der Transformationen der dyadischen Aussage-Verknüpfungen. Logique et analyse, n.s. t. 10 (1967), p. 218–228.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Seymour Ginsburg. The mathematical theory of context free languages. McGraw-Hill Book Company, New York, San Francisco, St, Louis, Toronto, London, and Sydney, 1966, xii + 232 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 300-301
- Print publication:
- 23 July 1968
-
- Article
- Export citation
P. Lorenzen and J. Myhill. Constructive definition of certain analytic sets of numbers. The journal of symbolic logic, vol. 24 no. 1 (1959), pp. 37–49.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 295
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Henryk Greniewski. Functors of the propositional calculus. VI Zjazd Matematyków Polskich, Warszawa 20–23 IX 1948, supplement to Annales de la Société Polonaise de Mathématique, vol. 22, Cracow1950, pp. 78–86. - Henryk Greniewski. Certain notions of the theory of numbers as applied to the propositional calculus. English with brief Polish summary. Časopis pro pěstováni matematiky a fysiky, vol. 74 (1950), pp. 132–136. - Henryk Greniewski. Groups and fields definable in the propositional calculus. Towarzystwo Naukowe Warszawskie, Sprawozdania z posiedzé wydzialu III nauk matematyczno fizycznych (Socété des Sciences et des Lettres de Varsovle, Comptes-rendus des séances de la classe III sciences mathématiques et physiques), vol. 43 (for 1950, pub. 1952), pp. 53–48. - H. Greniewski. Arithmetics of natural numbers as part of the bi-valued propositional calculus. Colloquium matkematicum, vol. 2 no. 3–4 (for 1951, pub. 1952), pp. 291–297.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 304-305
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Günther Patzig. Einleitung. Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 5–29. - Gottlob Frege. Der Gedanke. Eine logische Untersuchung. A reprint of XVIII 93(1). Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 30–53. - Gottlob Frege. Die Verneinung. Eine logische Untersuchung. A reprint of XVIII 93(2). Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 54–71. - Gottlob Frege. Logische Untersuchungen. Dritter Teil: Gedankengefüge.Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 72–91. (Reprinted from Beiträge zur Philosophie des deutschen Idealismus, vol. 3 no. 1 (1923), pp. 36–51.) - Gottlob Frege. Kritische Beleuchtung einiger Punkte in E. Schröders Vorlesungen über die Algebra der Logik. A reprint of 4972. Ibid., pp. 92–112. - Gottlob Frege. Über die Zahlen des Herrn H. Schubert. A reprint of 4915. Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 113–138. - Günther Patzig. Literatur zu Frege.Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 140–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 282-284
- Print publication:
- 23 July 1968
-
- Article
- Export citation
On simplifying the matrix of a wff
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-192
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Arthur W. Burks. Dispositional statements. Philosophy of science, vol. 22 (1955), pp. 175–193.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 313-314
- Print publication:
- 23 July 1968
-
- Article
- Export citation
I. M. Bocheński. Europäische Philosophie der Gegenwart. A. Francke AG Verlag, Bern1947, 304 pp. - I. M. Bocheński. Europäische Philosophie der Gegenwart. Second, revised edition of the preceding. A. Fsancke AG Verlag, Bern1951, 323 pp. - I. M. Bocheński. La philosophie contemporaine en Europe. French translation of the preceding by François Vaudou. Payot, Paris1951, 252 pp. - I. M. Bocheński. Contemporary European philosophy. English translation of the same by Donald Nicholl and Karl Aschenbrenner. University of California Press, Berkeley and Los Angeles1956, xviii + 326 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 313
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Takashi Nagashima. An extension of the Craig-Schütte interpolation theorem. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 1 (1966), pp. 12–18.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-292
- Print publication:
- 23 July 1968
-
- Article
- Export citation
A simplified account of validity and implication for quantificational logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 231-235
- Print publication:
- 23 July 1968
-
- Article
- Export citation