Categorical glueing and logical predicates for models of linear logic Export

@misc{citeulike:1425346, abstract = {We give a series of glueing constructions for categorical models of fragments of linear logic. Specifically, we consider the glueing of (i) symmetric monoidal closed categories (models of Multiplicative Intuitionistic Linear Logic), (ii) symmetric monoidal adjunctions (for interpreting the modality !) and (iii) -autonomous categories (models of Multiplicative Linear Logic); the glueing construction for -autonomous categories is a mild generalization of the double glueing construction due to...}, author = {Hasegawa, M.}, citeulike-article-id = {1425346}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.940}, keywords = {linear, logic, logical, predicates}, posted-at = {2007-06-30 18:15:05}, priority = {2}, title = {Categorical glueing and logical predicates for models of linear logic}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.940}, year = {1999} }

TY - GEN ID - citeulike:1425346 L3 - citeulike-article-id:1425346 N2 - We give a series of glueing constructions for categorical models of fragments of linear logic. Specifically, we consider the glueing of (i) symmetric monoidal closed categories (models of Multiplicative Intuitionistic Linear Logic), (ii) symmetric monoidal adjunctions (for interpreting the modality !) and (iii) -autonomous categories (models of Multiplicative Linear Logic); the glueing construction for -autonomous categories is a mild generalization of the double glueing construction due to... TI - Categorical glueing and logical predicates for models of linear logic KW - linear KW - logic KW - logical KW - predicates AU - Hasegawa, M PY - 1999/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.940 ER -