Article contents
Fuzzy models of linear logic
Published online by Cambridge University Press: 04 March 2009
Abstract
It is shown that the category of fuzzy relations with values in a ∗-autonomous poset gives a ∗-autonomous category. It is also shown that this construction can be generalized by replacing the ∗-autonomous poset by a ∗-autonomous category. In both cases, cofree coalgebras exist so that there is a natural! operation.
- Type
- Research Article
- Information
- Copyright
- Copyright © Cambridge University Press 1996
References
- 7
- Cited by