Article ID Journal Published Year Pages File Type
10324013 Fuzzy Sets and Systems 2005 8 Pages PDF
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.
Related Topics
Physical Sciences and Engineering Computer Science Artificial Intelligence
Preview
Categorical relationships between Goguen sets and “two-sided” categorical models of linear logic
Authors
, ,