The Second Calculus of Binary Relations

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.

• Type: Conference
• Year: 1993
• Where: MFCS
• Authors: Vaughan R. Pratt
• Keywords: Binary Relations, Chu Space Interpretation, Chu Spaces, MFCS 1993, Theoretical Computer Science