Intuitionistic phase semantics is almost classical (Q5466794)
From MaRDI portal
scientific article; zbMATH DE number 5025121
Language | Label | Description | Also known as |
---|---|---|---|
English | Intuitionistic phase semantics is almost classical |
scientific article; zbMATH DE number 5025121 |
Statements
Intuitionistic phase semantics is almost classical (English)
0 references
22 May 2006
0 references
phase semantics
0 references
classical linear logic
0 references
intuitionistic linear logic
0 references