Contents
Reviews
E. M. Kleinberg and R. A. Shore. On large cardinals and partition relations. The journal of symbolic logic, vol. 36 (1971), pp. 305–308.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 463
-
- Article
- Export citation
J. Kotas. Axioms for Birkhoff—υ. Neumann quantum logic. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 11 (1963), pp. 629–632.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 463-464
-
- Article
- Export citation
H. Kunsemüller. Zur Axiomatik der Quantenlogik. Philosophia naturalis, vol. 8 (1964), pp. 363–376.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 464
-
- Article
- Export citation
Roberto Cignoli. Moisil algebras. Notas de lógica matematica, no. 27. Instituto de Matemática, Universidad Nacional del Sur, Bahía Blanca1970, 47 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 464-465
-
- Article
- Export citation
Roberto Cignoli. Representation of Łukasiewicz and Post algebras by continuous functions. Colloquium mathematicum, vol. 24 no. 2 (1972), pp. 127–138.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 465
-
- Article
- Export citation
V. I. Klévačév. O nékotoryh sistémah, polnyh υ Pk (On a proof of completeness in Pk of simultaneous functions k − 2, ˜x, x1 ⊃ x2). Kibérnétika (Kiev), no. 5 (1970), pp. 139–140.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 465-466
-
- Article
- Export citation
Alan Rose. Extensions of some theorems of Anderson and Belnap. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 423–425.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 466
-
- Article
- Export citation
Giuliano di Bernardo. Introduzione alla logica dei sistemi normative. Società editrice il Mulino, Bologna1972, 183 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 466
-
- Article
- Export citation
Ernest W. Adams. Subjunctive and indicative conditionals. Foundations of language, vol. 6 (1970), pp. 89–94.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 466
-
- Article
- Export citation
Arthur Pap. Logic and the concept of entailment. The journal of philosophy, vol. 47 (1950), pp. 378–387.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 466
-
- Article
- Export citation
Masao Ohnishi and Kazuo Matsumoto. Gentzen method in modal calculi. Osaka mathematical journal, vol. 9 no. 2 (1957), pp. 113–130. See Correction, Masao Ohnishi and Kazuo Matsumoto. Gentzen method in modal calculi. Osaka mathematical journal, vol. 10 (1958), p. 147.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 466-467
-
- Article
- Export citation
Masao Ohnishi and Kazuo Matsumoto. Gentzen method in modal calculi, II. Osaka mathematical journal, vol. 11 no. 1 (1959), pp. 115–120.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 467-468
-
- Article
- Export citation
Kazuo Matsumoto. Decision procedure for modal sentential calculus S3. Osaka mathematical journal, vol. 12 no. 1 (1960), pp. 167–175.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 468
-
- Article
- Export citation
Masao Ohnishi. Gentzen decision procedures for Lewis's systems S2 and S3. Osaka mathematical journal, vol. 13 (1961), pp. 125–137.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 468-469
-
- Article
- Export citation
Masao Ohnishi. Von Wright-Anderson's decision procedures for Lewis's systems S2 and S3. Osaka mathematical journal, vol. 13 (1961), pp. 139–142.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 469
-
- Article
- Export citation
E. William ChapinJr., Gentzen-like systems for partial propositional calculi. Notre Dame journal of formal logic, vol. 12 (1971), pp. 75–80, and pp. 179–182.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 469
-
- Article
- Export citation
A. S. Kuzičév. Diagrammy Vénna. Istoriá i priménéniá. (Venn diagrams. History and applications.) Izdatél'stvo “Nauka,” Moscow1968, 252 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 469-470
-
- Article
- Export citation
N. G. de Bruijn. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem. Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A vol. 75 (1972), pp. 381–392; also Indagationes mathematicae, vol. 34 (1972), pp. 381–392.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 470
-
- Article
- Export citation
E. K. Blum. Towards a theory of semantics and compilers for programming languages. Journal of computer and system sciences, vol. 3 (1969), pp. 248–275.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 470-471
-
- Article
- Export citation
Marian Przełȩcki. Postulat empiryczności terminów przyrodniczych (The postulate of the empiricalness of scientific terms). Fragmenty filozoficzne, seria druga, Ksiȩga pamia̧tkowa ku uczczeniu czterdziestolecia pracy nauczycielskiej w Uniwersytecie Warszawskim profesora Tadeusza Kotarbińskiego, Państwowe Wydawnictwo Naukowe, Warsaw1959, pp. 219–248.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 471
-
- Article
- Export citation