The second calculus of binary relations

  • Vaughan Pratt
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 711)


We view the Chu space interpretation of linear logic as an alternative interpretation of the language of the Peirce calculus of binary relations. Chu spaces amount to K-valued binary relations, which for K=2n we show generalize n-ary relational structures. We also exhibit a four-stage unique factorization system for Chu transforms that illuminates their operation.


Tensor Product Binary Relation Full Subcategory Linear Logic Parallel Composition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bar79]
    M. Barr. *-Autonomous categories, LNM 752. Springer-Verlag, 1979.Google Scholar
  2. [Bar91]
    M. Barr. *-Autonomous categories and linear logic. Math Structures in Comp. Sci., 1(2), 1991.Google Scholar
  3. [BG90]
    C. Brown and D. Gurr. A categorical linear framework for Petri nets. In J. Mitchell, editor, Logic in Computer Science, pages 208–218. IEEE Computer Society, June 1990.Google Scholar
  4. [BvN36]
    G. Birkhoff and J. von Neumann. The logic of quantum mechanics. Annals of Mathematics, 37:823–843, 1936.Google Scholar
  5. [CCMP91]
    R.T Casley, R.F. Crew, J. Meseguer, and V.R. Pratt. Temporal structures. Math. Structures in Comp. Sci., 1(2):179–213, July 1991.Google Scholar
  6. [DM60]
    A. De Morgan. On the syllogism, no. IV, and on the logic of relations. Trans. Cambridge Phil. Soc., 10:331–358, 1860.Google Scholar
  7. [Dun86]
    J.M. Dunn. Relevant logic and entailment. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume III, pages 117–224. Reidel, Dordrecht, 1986.Google Scholar
  8. [FK72]
    P. Freyd and G. M. Kelly. Categories of continuous functors I. Journal of Pure and Applied Algebra, 2(3):169–191, 1972.Google Scholar
  9. [Gir87]
    J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1–102, 1987.Google Scholar
  10. [HL69]
    Z. Hedrlín and J. Lambek. How comprehensive is the category of semigroups. J. Algebra, 11:195–212, 1969.Google Scholar
  11. [Jón88]
    B. Jónsson. Relation algebras and Schröder categories. Discrete Mathematics, 70:27–45, 1988.Google Scholar
  12. [JT48]
    B. Jónsson and A. Tarski. Representation problems for relation algebras. Bull. Amer. Math. Soc., 54:80,1192, 1948.Google Scholar
  13. [JT52]
    B. Jónsson and A. Tarski. Boolean algebras with operators. Part II. Amer. J. Math., 74:127–162, 1952.Google Scholar
  14. [LS91]
    Y. Lafont and T. Streicher. Games semantics for linear logic. In Proc. 6th Annual IEEE Symp. on Logic in Computer Science, pages 43–49, Amsterdam, July 1991.Google Scholar
  15. [Mul86]
    C.J. Mulvey. &. In Second Topology Conference, Rendiconti del Circolo Matematico di Palermo, ser.2, supplement no. 12, pages 99–104, 1986.Google Scholar
  16. [Pei33]
    C.S. Peirce. Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole's calculus of logic. In Collected Papers of Charles Sanders Peirce. III. Exact Logic. Harvard University Press, 1933.Google Scholar
  17. [Pra86]
    V.R. Pratt. Modeling concurrency with partial orders. Int. J. of Parallel Programming, 15(1):33–71, February 1986.Google Scholar
  18. [Pra92a]
    V.R. Pratt. The duality of time and information. In Proc. of CONCUR'92, LNCS 630, pages 237–253, Stonybrook, New York, August 1992. Springer-Verlag.Google Scholar
  19. [Pra92b]
    V.R. Pratt. Event spaces and their linear logic. In AMAST'91: Algebraic Methodology and Software Technology, Workshops in Computing, pages 1–23, Iowa City, 1992. Springer-Verlag.Google Scholar
  20. [Pra92c]
    V.R. Pratt. Origins of the calculus of binary relations. In Proc. 7th Annual IEEE Symp. on Logic in Computer Science, pages 248–254, Santa Cruz, CA, June 1992.Google Scholar
  21. [Pra93]
    V.R. Pratt. Linear logic for generalized quantum mechanics. In Proc. Workshop on Physics and Computation (PhysComp'92), Dallas, 1993. IEEE.Google Scholar
  22. [PT80]
    A. Pultr and V. Trnková. Combinatorial, Algebraic and Topological Representations of Groups, Semigroups, and Categories. North-Holland, 1980.Google Scholar
  23. [Sch95]
    E. Schröder. Vorlesungen über die Algebra der Logik (Exakte Logik). Dritter Band: Algebra und Logik der Relative. B.G. Teubner, Leipzig, 1895.Google Scholar
  24. [See89]
    R.A.G Seely. Linear logic, *-autonomous categories and cofree algebras. In Categories in Computer Science and Logic, volume 92 of Contemporary Mathematics, pages 371–382, held June 1987, Boulder, Colorado, 1989.Google Scholar
  25. [Tar41]
    A. Tarski. On the calculus of relations. J. Symbolic Logic, 6:73–89, 1941.Google Scholar
  26. [Trn66]
    V. Trnková. Universal categories. Comment. Math. Univ.Carolinae, 7:143–206, 1966.Google Scholar
  27. [Vic89]
    S. Vickers. Topology via Logic. Cambridge University Press, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Vaughan Pratt
    • 1
  1. 1.Stanford UniversityUSA

Personalised recommendations