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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
M. Barr. *-Autonomous categories, LNM 752. Springer-Verlag, 1979.
M. Barr. *-Autonomous categories and linear logic. Math Structures in Comp. Sci., 1(2), 1991.
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.
G. Birkhoff and J. von Neumann. The logic of quantum mechanics. Annals of Mathematics, 37:823–843, 1936.
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.
A. De Morgan. On the syllogism, no. IV, and on the logic of relations. Trans. Cambridge Phil. Soc., 10:331–358, 1860.
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.
P. Freyd and G. M. Kelly. Categories of continuous functors I. Journal of Pure and Applied Algebra, 2(3):169–191, 1972.
J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1–102, 1987.
Z. Hedrlín and J. Lambek. How comprehensive is the category of semigroups. J. Algebra, 11:195–212, 1969.
B. Jónsson. Relation algebras and Schröder categories. Discrete Mathematics, 70:27–45, 1988.
B. Jónsson and A. Tarski. Representation problems for relation algebras. Bull. Amer. Math. Soc., 54:80,1192, 1948.
B. Jónsson and A. Tarski. Boolean algebras with operators. Part II. Amer. J. Math., 74:127–162, 1952.
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.
C.J. Mulvey. &. In Second Topology Conference, Rendiconti del Circolo Matematico di Palermo, ser.2, supplement no. 12, pages 99–104, 1986.
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.
V.R. Pratt. Modeling concurrency with partial orders. Int. J. of Parallel Programming, 15(1):33–71, February 1986.
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.
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.
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.
V.R. Pratt. Linear logic for generalized quantum mechanics. In Proc. Workshop on Physics and Computation (PhysComp'92), Dallas, 1993. IEEE.
A. Pultr and V. Trnková. Combinatorial, Algebraic and Topological Representations of Groups, Semigroups, and Categories. North-Holland, 1980.
E. Schröder. Vorlesungen über die Algebra der Logik (Exakte Logik). Dritter Band: Algebra und Logik der Relative. B.G. Teubner, Leipzig, 1895.
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.
A. Tarski. On the calculus of relations. J. Symbolic Logic, 6:73–89, 1941.
V. Trnková. Universal categories. Comment. Math. Univ.Carolinae, 7:143–206, 1966.
S. Vickers. Topology via Logic. Cambridge University Press, 1989.
Author information
Authors and Affiliations
Editor information
Rights 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