Contents
Reviews
W. A. Pogorzelski. Structural completeness of the propositional calculus. English with Russian summary. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 19 (1971), pp. 349–351.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 604-605
-
- Article
- Export citation
John L. Pollock. Introduction to symbolic logic. Holt, Rinehart and Winston, Inc., New York, etc., 1969, xii + 241 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 101
-
- Article
- Export citation
Timothy Smiley. The independence of connectives. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 426–436.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 250-251
-
- Article
- Export citation
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
Witold A. Pogorzelski. The deduction theorem for Łukasiewicz many-valued propositional calculi. English with Polish and Russian summaries. Studio logica, vol. 15 (1964), pp. 7–23.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 605-606
-
- Article
- Export citation
Howard DeLong. A profile of mathematical logic. Addison-Wesley Publishing Company, Reading, Mass., Menlo Park, Calif., London, and Don Mills, Ontario, 1970, xiv + 304 pp. - Lewis Carroll. A logical paradox. A reprint of 672. Appendix A. Therein, pp. 230–232. - Lewis Carroll. What the tortoise said to Achilles. A reprint of 673. Appendix B. Therein, pp. 233–236.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 101-102
-
- 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
R. Harrop. Some forms of models of propositional calculi. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 163–174. - Ronald Harrop. On the equivalence for non-derivability testing of finite Smiley models and finite modified Smiley models. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 17 (1971), pp. 137–143.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
-
- Article
- Export citation
D. Paul Snyder. Modal logic and its applications. Van Nostrand Reinhold Company, New York, Cincinnati, Toronto, London, and Melbourne, 1971, xiv + 335 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 251-252
-
- Article
- Export citation
Czesław Lejewski. Logic and existence. The British journal for the philosophy of science, vol. 5 (1954–1955), pp. 104–119. - A. N. Prior. English and ontology. The British journal for the philosophy of science, vol. 6 (1955–1956), pp. 64–65.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-103
-
- Article
- Export citation
Witold A. Pogorzelski. On the scope of the classical deduction theorem. The journal of symbolic logic, vol. 33 (1968), pp. 77–81.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
-
- 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
Czesław Lejewski. A re-examination of the Russellian theory of descriptions. Philosophy, vol. 35 (1960), pp. 14–29.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-104
-
- Article
- Export citation
Nicholas Rescher and Alasdair Urquhart. Temporal logic. Library of exact philosophy, vol. 3. Springer-Verlag, Vienna and New York1971, XVIII + 273 pp. - Nicholas Rescher and Alasdair Urquhart. Bibliography of temporal logic. Therein, pp. 259–267. - Nicholas Rescher and James Garson. Topological logic. The journal of symbolic logic, vol. 33 no. 4 (for 1968, pub. 1969), pp. 537–548. A slightly revised version reprinted in Topics in philosophical logic, by Nicholas Rescher, D. Reidel Publishing Company, Dordrecht, Holland, 1968, and Humanities Press, New York, 1969, pp. 229–244. - Nicholas Rescher and John Robison. Temporally conditioned descriptions. Ratio (Oxford), vol. 8 (1966), pp. 46–54. - Nicholas Rescher and John Robison. Zeitlich bedingte Kennzeichnungen. German translation of the preceding. Ratio (Frankfurt a.M.), vol. 8 (1966), pp. 40–47.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-253
-
- Article
- Export citation
Timothy Smiley. Syllogism and quantification. The journal of symbolic logic, vol. 27 no. 1 (for 1962, pub. 1963), pp. 58–72. - William Tuthill Parry. Quantification of the predicate and many-sorted logic. Philosophy and phenomenological research, vol. 26 no. 3 (1966), pp. 342–360.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 606-607
-
- 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
James E. Tomberlin. Existence attributes: a second look. The review of metaphysics, vol. 24 no. 4 (1971), pp. 737–738.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 253-254
-
- Article
- Export citation
Gottfried Martin. Existenz und Widerspruchsfreiheit in der Logik von Leibniz. Kant-Studien, vol. 48 (1956–1957), pp. 202–215.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-105
-
- Article
- Export citation
Alice Ambrose and Morris Lazerowitz. Fundamentals of symbolic logic. Revised edition of XIV 191. Holt, Rinehart and Winston, Inc., New York 1962, 328 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 607-608
-
- 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