Autonomous posets and quantales (Q4304551)
From MaRDI portal
scientific article; zbMATH DE number 637517
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Autonomous posets and quantales |
scientific article; zbMATH DE number 637517 |
Statements
Autonomous posets and quantales (English)
0 references
12 September 1994
0 references
non-commutativity
0 references
phase space quantale
0 references
semantics
0 references
linear logic
0 references
autonomous quantales
0 references
completion
0 references
autonomous posets
0 references
representation theorem
0 references
0 references
