Skip to main content
SpringerLink
Log in

The second calculus of binary relations

  • Invited Lectures
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1993 (MFCS 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 711))

Abstract

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.

This work was supported by ONR under grant number N00014-92-J-1974, and a gift from Mitsubishi.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Barr. *-Autonomous categories, LNM 752. Springer-Verlag, 1979.

    Google Scholar 

  2. M. Barr. *-Autonomous categories and linear logic. Math Structures in Comp. Sci., 1(2), 1991.

    Google Scholar 

  3. 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. G. Birkhoff and J. von Neumann. The logic of quantum mechanics. Annals of Mathematics, 37:823–843, 1936.

    Google Scholar 

  5. 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. 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. 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. 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. J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1–102, 1987.

    Google Scholar 

  10. Z. Hedrlín and J. Lambek. How comprehensive is the category of semigroups. J. Algebra, 11:195–212, 1969.

    Google Scholar 

  11. B. Jónsson. Relation algebras and Schröder categories. Discrete Mathematics, 70:27–45, 1988.

    Google Scholar 

  12. B. Jónsson and A. Tarski. Representation problems for relation algebras. Bull. Amer. Math. Soc., 54:80,1192, 1948.

    Google Scholar 

  13. B. Jónsson and A. Tarski. Boolean algebras with operators. Part II. Amer. J. Math., 74:127–162, 1952.

    Google Scholar 

  14. 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. 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. 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. V.R. Pratt. Modeling concurrency with partial orders. Int. J. of Parallel Programming, 15(1):33–71, February 1986.

    Google Scholar 

  18. 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. 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. 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. V.R. Pratt. Linear logic for generalized quantum mechanics. In Proc. Workshop on Physics and Computation (PhysComp'92), Dallas, 1993. IEEE.

    Google Scholar 

  22. A. Pultr and V. Trnková. Combinatorial, Algebraic and Topological Representations of Groups, Semigroups, and Categories. North-Holland, 1980.

    Google Scholar 

  23. 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. 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. A. Tarski. On the calculus of relations. J. Symbolic Logic, 6:73–89, 1941.

    Google Scholar 

  26. V. Trnková. Universal categories. Comment. Math. Univ.Carolinae, 7:143–206, 1966.

    Google Scholar 

  27. S. Vickers. Topology via Logic. Cambridge University Press, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Stanford University, USA

    Vaughan Pratt

Authors
  1. Vaughan Pratt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andrzej M. Borzyszkowski Stefan Sokołowski

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pratt, V. (1993). The second calculus of binary relations. In: Borzyszkowski, A.M., Sokołowski, S. (eds) Mathematical Foundations of Computer Science 1993. MFCS 1993. Lecture Notes in Computer Science, vol 711. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57182-5_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-57182-5_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57182-7

  • Online ISBN: 978-3-540-47927-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation