Lifting star-autonomy
From MaRDI portal
Cites work
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- μ-Bicomplete Categories and Parity Games
- *-autonomous categories of bimodules
- Categorical models of linear logic with fixed points of formulas
- Categories of q-sets and fuzzy logic models
- Categories with fuzzy sets and relations
- Coherence for compact closed categories
- Contextuality in distributed systems
- Fibrational bisimulations and quantitative reasoning
- Fixpoint constructions in focused orthogonality models of linear logic
- Framed bicategories and monoidal fibrations
- Free -lattices
- Frobenius structures in star-autonomous categories
- Glueing and orthogonality for models of linear logic
- Goguen categories. A categorical approach to \(L\)-fuzzy relations
- scientific article; zbMATH DE number 6680140 (Why is no real title available?)
- scientific article; zbMATH DE number 4173040 (Why is no real title available?)
- scientific article; zbMATH DE number 46487 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 194916 (Why is no real title available?)
- scientific article; zbMATH DE number 2087442 (Why is no real title available?)
- Metamathematics of fuzzy logic
- Monoidal Grothendieck construction
- Non-locality, contextuality and valuation algebras: a general theory of disagreement
- Phase semantics for linear logic with least and greatest fixed points
- Poset-valued sets or how to build models for linear logics
- Semigroups in complete lattices. Quantales, modules and related topics
- Star-autonomous functor categories
- The equational theory of the natural join and inner union is decidable
This page was built for publication: Lifting star-autonomy
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7013572)
