Review: J. C. C. McKinsey, Postulates for the Calculus of Binary Relations [Book Review]

Journal of Symbolic Logic 5 (4):167-168 (1940)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268208

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Postulates for the calculus of binary relations.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (3):85-97.
Relevance logic and the calculus of relations.Roger D. Maddux - 2010 - Review of Symbolic Logic 3 (1):41-70.
E. V. Huntington. Note on a recent set of postulates for the calculus of propositions. The journal of symbolic logic, vol. 4 , pp. 10–14. [REVIEW]Everett J. Nelson - 1939 - Journal of Symbolic Logic 4 (2):90-90.
Positive fragments of relevance logic and algebras of binary relations.Robin Hirsch & Szabolcs Mikulás - 2011 - Review of Symbolic Logic 4 (1):81-105.
The origin of relation algebras in the development and axiomatization of the calculus of relations.Roger D. Maddux - 1991 - Studia Logica 50 (3-4):421 - 455.
Reconstruction of binary relations from their restrictions of cardinality 2, 3, 4 and (n ‐ 1) II.Gérard Lopez & Claire Rauzy - 1992 - Mathematical Logic Quarterly 38 (1):157-168.
“If Josef kills Leon, is Leon dead?”.Richard Horsey - unknown
Review: Soren Hallden, On the Decision-Problem of Lewis' Calculus S5. [REVIEW]J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (3):224-224.
Review: George D. Birkhoff, Garrett Birkhoff, Distributive Postulates for Systems Like Boolean Algebras. [REVIEW]J. C. C. McKinsey - 1947 - Journal of Symbolic Logic 12 (1):28-29.
Review: R. L. Goodstein, Function Theory in an Axiom-free Equation Calculus. [REVIEW]J. C. C. McKinsey - 1946 - Journal of Symbolic Logic 11 (1):24-26.
Review: J. C. C. McKinsey, Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions. [REVIEW]Paul Henle - 1940 - Journal of Symbolic Logic 5 (1):38-38.
Review: J. C. C. McKinsey, On the Number of Complete Extensions of the Lewis Systems of Sentential Calculus. [REVIEW]Frederic B. Fitch - 1944 - Journal of Symbolic Logic 9 (4):96-96.

Analytics

Added to PP
2013-11-22

Downloads
20 (#747,345)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references