Abstract
The relationships between “two-sided” categorical models of linear logic and Goguen sets is investigated. In particular, we show that only certain Goguen sets can be represented as Chu spaces, while it is possible to represent any Goguen set as a Dialectica space. In addition, we discuss the benefits of these representations.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have