Contents
Reviews
Daniel Ponasse. Logique mathématique. Éléments de base: calcul propositionnel, calcul des prédicats. O.C.D.L., Paris1967, 164 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 579-580
-
- Article
- Export citation
Roland Fraïssé. Cours de logique mathématique. Tome I. Relation, formule logique, compacité, complétude. Collection de logique mathématique, Série A, n° 23. Gauthier-Villars, Paris, et E. Nauwelaerts, Louvain, 1967, XII + 186 p.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 580
-
- Article
- Export citation
Kiyosra Iséki. Kigô ronrigaku (meidai ronri) (Symbolic logic (propositional logic)). Maki Shoten, Tokyo1968, 303 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 580-581
-
- Article
- Export citation
M. J. Cresswell. Another basis for S4. Logique et analyse, n.s. vol. 8 (1965), pp. 191–195.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 581
-
- Article
- Export citation
M. J. Cresswell. A Henkin completeness theorem for T. Notre Dame journal of formal logic, vol. 8 no. 3 (for 1967, pub. 1968), pp. 186–190. - M. J. Cresswell. Alternative completeness theorems for modal systems. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 339–345. - M. J. Cresswell. Some proofs of relative completeness in modal logic. Notre Dame journal of formal logic, vol. 9 no. 1 (1968), pp. 62–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 581-582
-
- Article
- Export citation
Akira Nakamura. Yôsô ronri to tati ronri no kankei ni tuite (On the relation between modal logic and many-valued logic). Kagaku kisoron kenkyû (Journal of the Japan Association for Philosophy of Science), vol. 6 no. 1 (1962), pp. 34–40, and vol. 6 no. 4 (1964), pp. 15–20.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 582
-
- Article
- Export citation
C. L. Hamblin. The modal “probably.”Mind, n.s. vol. 68 (1959), pp. 234–240.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 582-583
-
- Article
- Export citation
Nicholas Rescher. A probabilistic approach to modal logic. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 215–226.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 583
-
- Article
- Export citation
Karl Schröter. Über den Zusammenhang der Implikationsaxiomen vollständiger Axiomensysteme des zweiwertigen mit denen des intuitionistischen Aussagenkalküls. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 173–176. - Karl Schröter. Eine Umformung des Heytingschen Axiomensystems für den intuitionistischen Aussagenkalkül. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 18–29.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 583
-
- Article
- Export citation
Henry W. JohnstoneJr., and Robert Price. Axioms for the implicational calculus with one variable. Theoria (Lund), vol. 30 (1964), pp. 1–4.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 584
-
- Article
- Export citation
Henry W. JohnstoneJr., A definition of conjunction in the pure implicational calculus with one variable. Logique et analyse, n.s. vol. 9 (1966), pp. 310–312.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 584
-
- Article
- Export citation
Eugen Mihăilescu. Sur les proprietés de l'implication par rapport à l'équivalence et la disjonction. Analele Universitătii Bucureşti, seria Acta logica, vol. 5 (1962), pp. 119–134.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 584
-
- Article
- Export citation
Ştefan N. Berţi. Aplicaţii ale teoriei relaţiilor in logica matematică (Applications de la théorie des relations dans la logique mathématique). Studii şi cercetări matematice, vol. 21 (1969), pp. 3–11.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 584
-
- Article
- Export citation
H. Jerome Keisler. Ultraproducts and saturated models. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 67 (1964), pp. 178–186; also Indagationes mathematicae, vol. 26 (1964), pp. 178–186.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 584-585
-
- Article
- Export citation
H. Jerome Keisler. A survey of ultraproducts. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 112–126.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 585
-
- Article
- Export citation
H. Jerome Keisler. Ultraproducts which are not saturated. The journal of symbolic logic, vol. 32 (1967), pp. 23–46.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 585
-
- Article
- Export citation
H. Jerome Keisler. Ultraproducts of finite sets. The journal of symbolic logic, vol. 32 (1967), pp. 47–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 586
-
- Article
- Export citation
E. G. K. Lopez-Escobar. On a theorem of J. I. Malitz. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 (1967), pp. 739–743.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 586
-
- Article
- Export citation
A. Ehrenfeucht and A. Mostowski. A compact space of models of first order theories. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 (1961), pp. 369–373.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 586-587
-
- Article
- Export citation
Per Lindström. On model-completeness. Theoria (Lund), vol. 30 (1964), pp. 183–196.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 587
-
- Article
- Export citation