13629 results in The Journal of Symbolic Logic
Marcel Boll and Jacques Reinhart. Histoire de la logique. Que sais-je, no. 225, 5th edn. Presses Universitaires de France, Paris1961, 127 pp. (1st edn. 1946.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-286
- Print publication:
- June 1966
-
- Article
- Export citation
Reviews - Noam Chomsky. Syntactic structures. Janua linguarum, Studia memoriae Nicolai van Wijk dedicata, series minor no. 4. Mouton & Co., ‘s-Gravenhage1957, 116 pp. - Noam Chomsky. Three models for the description of language. A reprint of XXIII 71. Readings in mathematical psychology, volume II, edited by R. Duncan Luce, Robert R. Bush, and Eugene Galanter, John Wiley and Sons, Inc., New York, London, and Sydney, 1965, pp. 105–124. - Noam Chomsky. Logical structures in language. American documentation, vol. 8 (1957), pp. 284–291. - Noam Chomsky and George A. Miller. Finite state languages. Information and control, vol. 1 (1958), pp. 91–112. Reprinted in Readings in mathematical psychology, volume II, edited by R. Duncan Luce, Robert R. Bush, and Eugene Galanter, John Wiley and Sons, Inc., New York, London, and Sydney, 1965, pp. 156–171. - Noam Chomsky. On certain formal properties of grammars. Information and control, vol. 2 (1959), pp. 137–167. Reprinted in Readings in mathematical psychology, volume II, edited by R. Duncan Luce, Robert R. Bush, and Eugene Galanter, John Wiley and Sons, Inc., New York, London, and Sydney, 1965, pp. 125–155. - Noam Chomsky. A note on phrase structure grammars. Information and control, vol. 2 (1959), pp. 393–395. - Noam Chomsky. On the notion “rule of grammar.”Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 6–24. - Arthur Sard, Noam Chomsky, W. P. Livant, A. G. Oettinger, L. M. Court. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 255–257.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-251
- Print publication:
- June 1966
-
- Article
- Export citation
Decidability and undecidability of extensions of second (first) order theory of (generalized) successor1
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-181
- Print publication:
- June 1966
-
- Article
- Export citation
Saul A. Kripke. A completeness theorem in modal logic. The journal of symbolic logic, vol. 24 no. 1 (1959), pp. 1–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-277
- Print publication:
- June 1966
-
- Article
- Export citation
Saul A. Kripke. The undecidability of monadic modal quantification theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 113–116.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-278
- Print publication:
- June 1966
-
- Article
- Export citation
William Tuthill Parry. Comments on a variant form of natural deduction. The journal of symbolic logic, vol. 30 (1965), pp. 119–122.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 286
- Print publication:
- June 1966
-
- Article
- Export citation
Jaakko Hintikka. Distributive normal forms in first-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 48–91. - Jaakko Hintikka. Distributive normal forms and deductive interpolation. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 185–191.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 267-268
- Print publication:
- June 1966
-
- Article
- Export citation
Une Généralisation de l'ultraproduit
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 235-244
- Print publication:
- June 1966
-
- Article
- Export citation
Notices of meetings of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
- Print publication:
- June 1966
-
- Article
- Export citation
Vladeta Vučković. Dva stava o parcijalnim automatima (Two theorems on partial automata). Matematička biblioteka, vol. 25 (1963), pp. 41–49.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 264-265
- Print publication:
- June 1966
-
- Article
- Export citation
Witold A. Pogorzelski and Jerzy Slupecki. O dowodzie matematycznym (On mathematical proof). Państwowe Zaklady Wydawnictw Szkolnych, Warsaw1962, 128 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 284
- Print publication:
- June 1966
-
- Article
- Export citation
Roman Sikorski. Boolean algebras. Ergebnisse der Mathematik und ihrer Grenzgebiete, n.s. no. 25. Springer-Verlag, Berlin-Göttingen-Heidelberg1960, IX + 176 pp. - Roman Sikorski. Boolean algebras. Second edition. Ergebnisse der Mathematik und ihrer Grenzgebiete, n.s. no. 25. Academic Press, Inc., New York, and Springer-Verlag, Berlin-Göttingen-Heidelberg, 1964, X + 237 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 251-253
- Print publication:
- June 1966
-
- Article
- Export citation
JSL volume 31 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1966
-
- Article
-
- You have access
- Export citation
J. Richard Büchi. Regular canonical systems. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 nos. 3–4 (1964), pp. 91–111.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 265-267
- Print publication:
- June 1966
-
- Article
- Export citation
Rudolf Carnap. Introduction to symbolic logic and its applications. Englische Übersetzung der XX 274 von William H. Meyer und John Wilkinson. Dover Publications, Inc., New York1958, xiv + 241 S.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 287
- Print publication:
- June 1966
-
- Article
- Export citation
Algebraic semantics for modal logics II
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 191-218
- Print publication:
- June 1966
-
- Article
- Export citation
Hans Hermes. Aufzählbarkeit, Entscheidbarkelt, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen. Springer-Verlag, Berlin-Göttingen-Heidelberg1961, X + 246 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 254
- Print publication:
- June 1966
-
- Article
- Export citation
Sören Halldén. On the logic of ‘better.’ Library of Theoria, no. 2. C. W. K. Gleerup, Lund, and Ejnar Munksgaard, Copenhagen, 1957, 112 pp. - Lennart Åqvist. Deontic logic based on a logic of ‘better.’Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 285–290. - Mark Fisher. A three-valued calculus for deontic logic. Theoria (Lund), vol. 27 (1961), pp. 107–118. - Lennart Åqvist. Postulate sets and decision procedures for some systems of deontic logic. Theoria (Lund), vol. 29 (1963), pp. 154–175.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 278-281
- Print publication:
- June 1966
-
- Article
- Export citation
Wacław Sadowski. Pewien dowód zupełności dwuwartościowego rachunku zdań (A proof of completeness of the two-valued propositional calculus). Polish, with Russian and English summaries. Studia logica, vol. 11 (1961), pp. 49–55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 274
- Print publication:
- June 1966
-
- Article
- Export citation
G. Kreisel, D. Lacombe, and J. Shoenfield. Effective operations and partial recursive functionals. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 364–365. - G. Kreisel, D. Lacombe, and J. R. Shoenfield. Partial recursive functionals and effective operations. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North Holland Publishing Company, Amsterdam1959, pp. 290–297.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 261-262
- Print publication:
- June 1966
-
- Article
- Export citation