Contents
Reviews
Rolf George. Enthymematic consequence. American philosophical quarterly, vol. 9 (1972), pp. 113–116.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
-
- Article
- Export citation
Nicholas Rescher. Temporal modalities in Arabic logic. Foundations of language, Supplementary series, vol. 2. D. Reidel Publishing Company, Dordrecht, Holland, 1967, ix + 50 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 325-326
-
- Article
- Export citation
Carlos E. Alchourrón and Eugenio Bulygin. Normative systems. Library of exact philosophy, no. 5. Springer-Verlag, New York and Vienna1971, XVIII + 208 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 326-327
-
- Article
- Export citation
Mark Fisher. A system of deontic-alethic modal logic. Mind, n.s. vol. 71 (1962), pp. 231–236.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 327
-
- Article
- Export citation
Alan Ross Anderson, Nuel D. BelnapJr., and John R. Wallace. Independent axiom schemata for the pure theory of entailment. Zeitschrift für mathemutische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 93–95.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 327-328
-
- Article
- Export citation
J. Jay Zeman. Bases for S4 and S4.2 without added axioms. Notre Dame journal of formal logic, vol. 4 (1963), pp. 227–230.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 328
-
- Article
- Export citation
M. J. Cresswell. The completeness of S0.5. Logique et analyse, n.s. vol. 9 (1966), pp. 263–266. - Richard Routley. The decidability and semantical incompleteness of Lemmon's system S0.5. Logique et analyse, vol. 11 (1968), pp. 413–421. - M. J. Cresswell. Note on the interpretation of SO.5. Logique et analyse, vol. 13 (1970), pp. 376–378. - M. K. Rennie. Remark on Cresswell on S0.5. Logique et analyse, vol. 14 (1971), pp. 757–758.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 328-329
-
- Article
- Export citation
R. Routley. Decision procedures and semantics for C1, E1 and S0.50. Logique et analyse, n.s. vol. 11 (1968), pp. 468–471.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
-
- Article
- Export citation
Kit Fine. Propositional quantifiers in modal logic. Theoria, vol. 36 (for 1970, pub. 1971), pp. 336–346.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
-
- Article
- Export citation
David Makinson. Aspectos de la lógica modal. Universidad Nacional del Sur, Instituto de Matemática, Bahía Blanca1971, title pages + III + 131 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
-
- Article
- Export citation
Jean Drabbe. Les S4-algèbres finies. Comptes rendus hehdomadaires des séances de l'Académic des Sciences, sér. A vol. 265 (1967), p. 309.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
-
- Article
- Export citation
Yu. T. Medvedev. Finite problems. English translation of XXXVIII 356(20) by Elliott Mendelson. Soviet mathematics, vol. 3 no. 1 (1962), pp. 227–230. - Yu. T. Medvedev. Interpretation of logical formulas by means of finite problems and its relation to the readability theory. English translation of XXXVIII 356(21) by Sue Ann Walker. Soviet mathematics, vol. 4 no. 1 (1963), pp. 180–183. - Ju. T. Medvedev. Interpretation of logical formulas by means of finite problems. English translation of XXXVIII 356(22) by Sue Ann Walker. Soviet mathematics, vol. 7 no. 4 (1966), pp. 857–860.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-331
-
- Article
- Export citation
V. A. Ánkov. O finitnoj obšéeznačimosti formul spécial′nogo vida. Doklady Akadémii Nauk SSSR, vol. 174 (1967), pp. 302–304. - V. A. Jankov. Finite validity of formulas of a special form. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 8 no. 3 (1967), pp. 648–650.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 331
-
- Article
- Export citation
V. A. Ánkov. O rasširénii intuicionistskogo propozicional′nogo isčisléniá do klassičéskogo i minimal′nogo-do intuicionistskogo. Izvéstiá Akadémii Nauk SSSR, Séria matématičéskaá, vol. 32 (1968), pp. 208–211. - V. A. Jankov. On the extension of the intuitionist propositional calculus to the classical calculus, and the minimal calculus to the intuitionist calculus. English translation of the preceding. Mathematics of the USSR—Izvestija (Providence), vol. 2 no. 1 (for 1968, pub. 1969), pp. 205–208.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-332
-
- Article
- Export citation
A. S. Troelstra. The theory of choice sequences. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 201–223.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 332
-
- Article
- Export citation
Stephen Cole Kleene. Introduction to metamathematics. Sixth printing of XIX 215. Wolters-Noordhoff Publishing, Groningen, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1971, X + 550 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
-
- Article
- Export citation
Reijiro Kurata. Recursive progression of intuitionistic number theories. Journal of the Mathematical Society of Japan, vol. 17 (1965), pp. 140–166.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 333
-
- Article
- Export citation
John Myhill. Elementary properties of the group of isolic integers. Mathematische Zeitschrift, vol. 78 (1962), pp. 126–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 333
-
- Article
- Export citation
Carl E. Bredlau. Regressive functions and combinatorial functions. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 301–310.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 333
-
- Article
- Export citation
J. W. Addison and Yiannis N. Moschovakis. Some consequences of the axiom of definable determinateness. Proceedings of the National Academy of Sciences, vol. 59 (1968), pp. 708–712. - Donald A. Martin. The axiom of determinateness and reduction principles in the analytical hierarchy. Bulletin of the American Mathematical Society, vol. 74 (1968), pp. 687–689.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 334
-
- Article
- Export citation