13629 results in The Journal of Symbolic Logic
Notice of a meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
- Print publication:
- August 1967
-
- Article
- Export citation
H. G. Alexander. The paradoxes of confirmation. The British journal for the philosophy of science, vol. 9 (1958–1959), pp. 227–233. - J. Agassi. Corroboration versus induction. The British journal for the philosophy of science, vol. 9 (1958–1959), pp. 311–317. - H. G. Alexander. The paradoxes of confirmation—a reply to Dr. Agassi.The British journal for the philosophy of science, vol. 10 (1959–1960), pp. 229–234. - J. W. N. Watkins. Confirmation without background knowledge. The British journal for the philosophy of science, vol. 10 (1959–1960), pp. 318–320.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-250
- Print publication:
- August 1967
-
- Article
- Export citation
A. N. Prior. Tense-logic and the continuity of time. English, with Polish and Russian summaries. Studia logica, vol. 13 (1962), pp. 133–151. - R. A. Bull. An algebraic study of Diodorean modal systems. The journal of symbolic logic, vol. 30 (1965), pp. 58–64. - A. N. Prior. Postulates for tense-logic. American philosophical quarterly, vol. 3 (1966), pp. 153–161.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-246
- Print publication:
- August 1967
-
- Article
- Export citation
Helena Rasiowa and Roman Sikorski. The mathematics of metamathematics. Monografie matematyczne, vol. 41. Państwowe Wydawnictwo Naukowe, Warsaw1963, 519 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 274-275
- Print publication:
- August 1967
-
- Article
- Export citation
The decidability of hindley's axioms for strong reduction
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-239
- Print publication:
- August 1967
-
- Article
- Export citation
Hugues Leblanc. Minding one's X's and Y's. Logique et analyse, n.s. vol. 8 (1965), pp. 209–210. - John G. Slater. The required correction to Copi's statement of UG. Logique et analyse, n.s. vol. 9 (1966), p. 267.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 255
- Print publication:
- August 1967
-
- Article
- Export citation
On η-valued functionally complete truth functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 190-195
- Print publication:
- August 1967
-
- Article
- Export citation
Notice on reprinting material from this Journal
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
- Print publication:
- August 1967
-
- Article
- Export citation
Roderick M. Chisholm. Contrary-to-duty imperatives and deontic logic. Analysis (Oxford), vol. 24 no. 2 (1963), pp. 33–36. - Mark Fisher. A contradiction in deontic logic?Analysis (Oxford), vol. 25 no. 1 (1964), pp. 12–13. - G. H. von Wright. A new system of deontic logic. Danish yearbook of philosophy, vol. 1 (1964), pp. 173–182. - G. H. von Wright. A correction to a new system of deontic logic. Danish yearbook of philosophy, vol. 2 (1965), pp. 103–107.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-244
- Print publication:
- August 1967
-
- Article
- Export citation
M. F. Janowitz. Quantifiers and orthomodular lattices. Pacific journal of mathematics, vol. 13 (1963), pp. 1241–1249. - M. F. Janowitz. Quantifier theory on quasi-orthomodular lattices. Illinois journal of mathematics, vol. 9 (1965), pp. 660–676.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 275
- Print publication:
- August 1967
-
- Article
- Export citation
Roland Fraïssé. Sur l'extension aux relations de quelques propriétés des ordres. Annales scientifiques de l'École Normale Supérieure, ser. 3 vol. 71 no. 4 (1954), pp. 363–388. - René de Possel and Roland Fraïssé. Sur certaines suites d'équivalences dans une classe ordonnée, et sur leur application à la définition des parentés entre relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 239 (1954), pp. 940–942. - Roland Fraïssé. Sur certains opérateurs dans les classes de relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 (1955), pp. 2109–2110. - Roland Fraïssé. La construction des γ-opérateurs et leur application au calcul logique du premier ordre. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 (1955), pp. 2191–2193. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. I. Étude générale. Publications scientifiques de l'Université d'Alger, série A, Mathématiques, vol. 2 (1955), pp. 15–60. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. II. Application aux relations d'ordre, et construction d'exemples montrant que ces classifications sont distinctes. Publications scientifiques de l'Université d'Alger, série A, Mathématiques, vol. 2 (1955), pp. 273–295. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. III. Comparison des parentés introduites dans la premiére partie avec des parentés précédemment étudiées. Publications scientifiques de l'Université d'Alger, série A, Mathématiques, vol. 3 (1956), pp. 143–159. - Roland Fraïssé. Application des γ-opérateurs au calcul logique du premier échelon. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 76–92. - Roland Fraïssé. Étude de certains opérateurs dans les classes de relations, définis à partir d'isomorphismes restreints. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 59–75.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-281
- Print publication:
- August 1967
-
- Article
- Export citation
Dag Prawitz. Natural deduction. A proof-theoretical study. Acta Universitatis Stock-holmiensis, Stockholm studies in philosophy no. 3. Almqvist & Wiksell, Stockholm, Göteborg, and Uppsala, 1965, 113 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-256
- Print publication:
- August 1967
-
- Article
- Export citation
E. J. McCluskeyJr., Minimal sums for Boolean functions having many unspecified fundamental products. Switching circuit theory and logical design, Proceedings of the Second Annual Symposium, Detroit, Mich., October 17–20,1961, and papers from the First Annual Symposium, Chicago, III., October 9–14,1960, American Institute of Electrical Engineers, New York1961, pp. 10–17; also Transactions of the American Institute of Electrical Engineers, vol. 81 part 1 (1962), pp. 387–392.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 263-264
- Print publication:
- August 1967
-
- Article
- Export citation
Karel Lambert. Notes on “E!“: II. Philosophical studies (Minneapolis), vol. 12 (1961), pp. 1–5.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
- Print publication:
- August 1967
-
- Article
- Export citation
J. Barback. Recursive functions and regressive isols. Mathematica Scandinavica, vol. 15 (1964), pp. 29–42.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-270
- Print publication:
- August 1967
-
- Article
- Export citation
Karel Lambert. Notes on E! III: A theory of descriptions. Philosophical studies (Minneapolis), vol. 13 (1962), pp. 51–59. - Jaakko Hintikka. Definite descriptions and self-identity.Philosophical studies (Minneapolis), vol. 15 (1964), pp. 5–7. - Karel Lambert. Notes on E! IV. Philosophical studies (Minneapolis), vol. 15 (1964), pp. 85–88. (See Errata, ibid., vol. 16 (1965), p. 48.) - Karel Lambert. Definite descriptions and self-identity. II. Philosophical studies (Minneapolis), vol. 15 (1964), vol. 17 (1966), pp. 35–43.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 252
- Print publication:
- August 1967
-
- Article
- Export citation
Ignacio Angelelli. Vorbemerkung. Begriffsschrift und andere Aufsätze, by Gottlob Frege, 2nd edn., edited by Ignacio Angelelli, Georg Olms Verlagsbuchhandlung, Hildesheim1964, p. VI. - Gottlob Frege. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. A reprint of 491. Begriffsschrift und andere Aufsätze, by Gottlob Frege, 2nd edn., edited by Ignacio Angelelli, Georg Olms Verlagsbuchhandlung, Hildesheim1964, pp. VII-XVI, 1–88. - Gottlob Frege. Anwendungen der Begriffsschrift. A reprint of 492. Begriffsschrift und andere Aufsätze, by Gottlob Frege, 2nd edn., edited by Ignacio Angelelli, Georg Olms Verlagsbuchhandlung, Hildesheim1964, pp. 89–93. - Gottlob Frege. Ueber den Briefwechsel Leibnizens und Huygens mit Papin. Begriffsschrift und andere Aufsätze, by Gottlob Frege, 2nd edn., edited by Ignacio Angelelli, Georg Olms Verlagsbuchhandlung, Hildesheim1964, pp. 93–96. (Reprinted from Sitzungsberichte der Jenaischen Gesellschaft für Medicin und Naturwissenschaft für das Jahr 1881, pp. 29–32.) - Gottlob Frege, Ueber den Zweck der Begriffsschrift. A reprint of 493. Begriffsschrift und andere Aufsätze, by Gottlob Frege, 2nd edn., edited by Ignacio Angelelli, Georg Olms Verlagsbuchhandlung, Hildesheim1964, pp. 97–106. - Gottlob Frege. Ueber die wissenschaftliche Berechtigung einer Begriffsschrift. A reprint of 494. Begriffsschrift und andere Aufsätze, by Gottlob Frege, 2nd edn., edited by Ignacio Angelelli, Georg Olms Verlagsbuchhandlung, Hildesheim1964, pp. 106–114. - H. Scholz. Anmerkungen zur “Begriffsschrift.” With explanation by the editor. Begriffsschrift und andere Aufsätze, by Gottlob Frege, 2nd edn., edited by Ignacio Angelelli, Georg Olms Verlagsbuchhandlung, Hildesheim1964, pp. 115–116. - Edmund Husserl. Anmerkungen zur Begriffsschrift. With explanation by the editor. Begriffsschrift und andere Aufsätze, by Gottlob Frege, 2nd edn., edited by Ignacio Angelelli, Georg Olms Verlagsbuchhandlung, Hildesheim1964, pp. 117–121. - Ignacio Angelelli. Textkritische Bemerkungen. Begriffsschrift und andere Aufsätze, by Gottlob Frege, 2nd edn., edited by Ignacio Angelelli, Georg Olms Verlagsbuchhandlung, Hildesheim1964, pp. 122–124.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 240-242
- Print publication:
- August 1967
-
- Article
- Export citation
Ludwik Borkowski. On proper quantifiers I. English with Polish and Russian summaries. Studia logica, vol. 8 (1958), pp. 65–130.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 262-263
- Print publication:
- August 1967
-
- Article
- Export citation
Alfred Horn. The separation theorem of intuitionist propositional calculus. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 391–399.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 282
- Print publication:
- August 1967
-
- Article
- Export citation
Patrick C. Fischer. Theory of provable recursive functions. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 494–520.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
- Print publication:
- August 1967
-
- Article
- Export citation