Categorical relationships between Goguen sets and “two-sided” categorical models of linear logic

Basil K Papadopoulos,Apostolos Syropoulos

doi:10.1016/j.fss.2004.02.008

Categorical relationships between Goguen sets and “two-sided” categorical models of linear logic

Basil K Papadopoulos, Apostolos Syropoulos

https://doi.org/10.1016/j.fss.2004.02.008

Copy DOI

Journal: Fuzzy Sets and Systems	Publication Date: Mar 7, 2004
Citations: 4

Affiliation: Democritus University of Thrace

#Chu Spaces #Models Of Logic + Show 4 more

Abstract
Full-Text PDF
Similar Papers

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.

Full Text