Reviews
Lennart Åqvist. A binary primitive in deontic logic. Logique et analyse, n.s. vol. 5 (1962), pp. 90–97.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 519
-
- Article
- Export citation
Erik Stenius. The principles of a logic of normative systems. Proceedings of a Colloquium on Modal and Many-valued logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 247–260.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 519-520
-
- Article
- Export citation
Alan Ross Anderson. Completeness theorems for the systems E of entailment and EQ of entailment with quantification. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 201–216.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 520
-
- Article
- Export citation
Nuel D. BelnapJr., EQ and the first order functional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 217–218.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 520
-
- Article
- Export citation
A. R. Anderson and N. D. BelnapJr., First degree entailments. Mathematische Annalen, vol. 149 (1963), pp. 302–319.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 520-521
-
- Article
- Export citation
David Makinson. An alternative characterisation of first-degree entailment. Logique et analyse, n.s. vol. 8 (1965), pp. 308–311. (See Errata, ibid., vol. 9, p. 394.)
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
-
- Article
- Export citation
L. L. Maksimova. O modéláh isčisléniá E (On models of the calculus E). Algébra i logika, vol. 6 no. 6 (1967), pp. 5–20.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
-
- Article
- Export citation
Robert K. Meyer and J. Michael Dunn. E, R and γ. The journal of symbolic logic, vol. 34 (1969), pp. 460–474.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 521-522
-
- Article
- Export citation
Kurt Schütte. Vollständige Systeme modaler und intuitionistischer Logik. Ergebnisse der Mathematik und ihrer Grenzgebiete, no. 42. Springer-Verlag, Berlin-Heidelberg-New York1968, VII + 87 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 522
-
- Article
- Export citation
A. Heyting. Axiomatic method and intuitionism. Essays on the foundations of mathematics dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for the Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 237–247.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 522-523
-
- Article
- Export citation
Karl Döhmann. Zur Charakteristik der Kontingenz. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 Settembre 1958), Volume quinto, Lògica, gnoseologia, filosofia della scienze, filosofia del linguaggio, Sansoni Editore, Florence1960, pp. 137–141.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 523
-
- Article
- Export citation
Samuel Issman. La conception formaliste des mathématiques. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 Settembre 1958), Volume quinto Lògica, gnoseologia, filosofia della scienze, filosofia del linguaggio, Sansoni Editore, Florence1960, pp. 237–244.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 523
-
- Article
- Export citation
Jean van Heijenoort. Preface. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 1–12. - Claude Chevalley and Albert Lautman. Notice biographique sur Jacques Herbrand. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 13–15. (Reprinted from Annuaire de l'Association Amicale de Secours des Anciens Élèves de l'École Normale Supérieure (1931), pp. 66–68.) - Claude Chevalley. Sur la pensée de Jacques Herbrand. A reprint of 5431 with omissions. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 17–20. - Jacques Herbrand. Sur la théorie de la démonstration. A reprint of 3821. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 21–23. - Jacques Herbrand. Non-contradiction des axiomes arithmétiques. A reprint of 3822. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 25–26. - Jacques Herbrand. Sur quelques propriétés des propositions vraies et leurs applications. A reprint of 3823. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 27–29. - Jacques Herbrand. Sur le problème fondamental des mathématiques. A reprint of 3824. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 31–33. - Jacques Herbrand. Recherches sur la théorie de la démonstration. A reprint of 3825. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 35–153. - Jacques Herbrand. Les bases de la logique hilbertienne. A reprint of 3826. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 155–166. - Jacques Herbrand. Sur le problème fondamental de la logique mathématique. A reprint of 3827. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 167–207. - Jacques Herbrand. Note non signée sur la thèse de Herbrand, écrite par Herbrand lui-même. A reprint, with new title, of 3827.1. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 209–214. - Jacques Herbrand. Notice pour Jacques Hadamard. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 215–219. - Jacques Herbrand. Sur la non-contradiction de l'arithmétique. A reprint of 3828. Écrits logiques, by Jacques Herbrand, Presses Universitaires de France, Paris1968, pp. 221–232.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 523-524
-
- Article
- Export citation
G. É. Minc. Analog téorémy Erbrana dlá konstruktivnogo isčisléniá prédikatov. Doklady Akadémii Nauk SSSR, vol. 147 (1962), pp. 783–786. - G. É. Minc. An analogue of Herbranďs theorem for the constructive predicate calculus. English translation of the preceding by R. N. Goss. Soviet mathematics, vol. 3 no. 6 (1962), pp. 1712–1715.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 524-525
-
- Article
- Export citation
G. É. Minc. Poditor térmoν ν kvantornyh pravilah konstruktiνnogo isčisléniá predikátov. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, I, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Matématičéskogo Instituta im. V. A. Stéklova AN SSSR (LOMI), vol. 4, Moscow1967, pp. 112–122. - G. E. Mints. Choice of terms in quantifier rules of constructive predicate calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part I, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 4, Consultants Bureau, New York1969, pp. 43–46.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 525
-
- Article
- Export citation
G. É. Minc. Analog téorémy Erbrana dlá néprédvarénnyh formul konstruktivnogo isčisléniá prédikatov. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, I, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Matématičéskogo Instituta im. V. A. Stéklova AN SSSR (LOMI), vol. 4, Moscow1967, pp. 123–133. - G. E. Mints. Analog of Herbrand's theorem for [non] prenex formulas of constructive predicate calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part I, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 4, Consultants Bureau, New York1969. pp. 47–51. (See Erratum, Studies in constructive mathematics and mathematical logic, Part II edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, p. 136.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 525-526
-
- Article
- Export citation
G. É. Minc. Skolèmovskij métod eliminacii položitél'nyh kvantorov v sékvéncial'nyh isčisléniáh. Doklady Akadémii Nauk SSSR, vol. 169 (1966), pp. 24–27. - G. E. Minc. Skolem's method of elimination of positive quantifiers in sequential calculi. English translation of the preceding by L. Ebner. Soviet mathematics, vol. 7 no. 4 (1966), pp. 861–864.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 526-527
-
- Article
- Export citation
G. É. Minc. Dizúnktivnaá intérprétaciá isčisléniá LJ. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél′stvo “Nauka,” Leningrad 1968, pp. 182–188. - G. E. Mints. Disjunctive interpretation of the LJ calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London1970, pp. 86–89.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 527-528
-
- Article
- Export citation
Kiyoshi Iséki. On the cut operation in Gentzen calculi. Proceedings of the Japan Academy, vol. 32 (1956), pp. 719–721, and vol. 33 (1957), pp. 98–99.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 528
-
- Article
- Export citation
Vito F. Sinisi. Arbitrarily selected individuals in natural deduction. Analysis (Oxford), vol. 23 (1963), pp. 88–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 528
-
- Article
- Export citation