Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings (Q6649497)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings |
scientific article; zbMATH DE number 7954875
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings |
scientific article; zbMATH DE number 7954875 |
Statements
Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings (English)
0 references
6 December 2024
0 references
\( \Sigma \)-monoid
0 references
Lafont category
0 references
categorical semantics
0 references
linear logic
0 references
locally presentable category
0 references
partial Horn theory
0 references
