Contents
Reviews
Patrick Suppes. Measurement, empirical meaningfulness, and three-valued logic. Measurement: Definitions and theories, edited by C. West Churchman and Philburn Ratoosh, John Wiley & Sons, Inc., New York, and Chapman & Hall, Limited, London 1959, pp. 129–143. - Patrick Suppes. Logics appropriate to empirical theories. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Co., Amsterdam 1965, pp. 364–375.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-131
-
- Article
- Export citation
W. A. Verloren van Themaat. Räumliche Vorstellung und mathematisches Erkenntnisvermögen. Erster Band. D. Reidel Publishing Company, Dordrecht 1963, X + 131 pp. - W. A. Verloren van Themaat. Räumliche Vorstellung und mathematisches Erkenntnisvermögen. Zweiter Band. D. Reidel Publishing Company, Dordrecht, VIII + 59 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-132
-
- Article
- Export citation
Haig Khatchadourian. Frege on concepts. Theoria (Lund), vol. 22 (1956), pp. 85–100.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
-
- Article
- Export citation
Richard M. Martin. On acting on a belief. Studies in the philosophy of Charles Sanders Peirce, Second series, edited by Edward C. Moore and Richard S. Robin, The University of Massachusetts Press, Amherst 1964, pp. 212–225.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
-
- Article
- Export citation
J. F. Staal. Some semantic relations between sentoids. Foundations of language, vol. 3 (1967), pp. 66–88.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 132-133
-
- Article
- Export citation
Erik Stenius. Mood and language-game. Synthese, vol. 17 (1967), pp. 254–274. - Dagfinn Føllesdal. Comments on Stenius's ‘Mood and language-game.’ Synthese, vol. 17 (1967), pp. 275–280. - Lennart Åqvist. Semantic and pragmatic characterizability of linguistic usage. Synthese, vol. 17 (1967), pp. 281–291.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-134
-
- Article
- Export citation
Hector-Neri Castañeda. ‘Ought’ and assumption in moral philosophy. The journal of philosophy, vol. 57 (1960), pp. 791–803.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 134-135
-
- Article
- Export citation
Saul A. Kripke. Semantical analysis of modal logic II. Non-normal modal propositional calculi. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 206–220. - R. Routley and H. Montgomery. The inadequacy of Kripke's semantical analysis of D2 and D3. The journal of symbolic logic, vol. 33 (1968), p. 568.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 135
-
- Article
- Export citation
D. Makinson. On some completeness theorems in modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 379–384.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 135-136
-
- Article
- Export citation
E. J. Lemmon. An extension algebra and the modal system T. Notre Dame Journal of formal logic, vol. 1 (1960), pp. 3–12. - E. J. Lemmon. Algebraic semantics for modal logics. The journal of symbolic logic, vol. 31 (1966), pp. 46–65; pp. 191–218.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 136-137
-
- Article
- Export citation
M. J. Cresswell. Note on a system of Åqvist. The journal of symbolic logic, vol. 32 (1967), pp. 58–60. - M. K. Rennie. S3(S) = S3.5. The journal of symbolic logic, vol. 33 (1968), pp. 444–445.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 137
-
- Article
- Export citation
H. Rasiowa and R. Sikorski. An application of lattices to logic. Fundamenta mathematicae, vol. 42 no. 1 (1955), pp. 83–100.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 137
-
- Article
- Export citation
A. Białynicki-Birula and H. Rasiowa. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 (1958), pp. 287–310.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 138
-
- Article
- Export citation
V. A. Ánkov. O nékotoryh supérkonstruktivnyh isčisléniáh vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 151 (1963), pp. 796–798. - V. A. Jankov. Some superconstructive propositional calculi. English translation of the preceding by Sue Walker. Soviet mathematics, vol. 4 no. 4 (1963), pp. 1103–1105. - V. A. Ánkov. O réalizuémyh formulah logiki vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 151 (1963), pp. 1035–1037. - V. A. Jankov. Realizable formulas of propositional logic. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 4 (1963), pp. 1146–1148. - V. A. Ánkov. O sváži méždu vyvodimost′ú ν intuičionistskom isčislénii vyskazyvanij i konéčnymi implikativnymi strukturami. Doklady Akadémii Nauk SSSR, vol. 151 (1963), pp. 1293–1294. - V. A. Jankov. The relationship between deducibility in the intuitionist propositional calculus and finite implicational structures. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 4 (1963), pp. 1203–1204.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 138-139
-
- Article
- Export citation
Antonio Diego. Sur les algebres de Hilbert. With a preface by Jean Porte. French translation of XXXV 171 by Luisa Iturrioz. Collection de logique mathématique, series A, no. 21. Gauthier-Villars, Paris, and E. Nauwelaerts, Louvain, 1966, viii + 55 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 139
-
- Article
- Export citation
T. Thacher Robinson. Independence of two nice sets of axioms for the propositional calculus. The journal of symbolic logic, vol. 33 (1968), pp. 265–270.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 139-140
-
- Article
- Export citation
Karl Schröter. Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikaten-kalküle. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 241–251.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
-
- Article
- Export citation
Rolf Schock. On finitely many-valued logics. Logique et analyse, n.s. vol. 7 (1964), pp. 43–58. Errata. Ibid., p. 195. - Rolf Schock. On denumerably many-valued logics. Logique et analyse, n.s. vol. 7 (1964), pp. 190–195. - R. Schock. Some theorems on the relative strengths of many-valued logics. Logique et analyse, n.s. vol. 8 (1965), pp. 101–104.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 140-142
-
- Article
- Export citation
Alan Rose. Formalisation du calcul propositionnel implicatif à ℵ0 valeurs de Łukasiewicz. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 243 (1956), pp. 1183–1185.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 142
-
- Article
- Export citation
Alan Rose. A formalisation of the ℵ0-valued Łukasiewicz propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 289–292.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 142
-
- Article
- Export citation