No Group of Opposition for Constructive Logics: The Intuitionistic and Linear Cases (Q4915585)
From MaRDI portal
scientific article; zbMATH DE number 6153039
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No Group of Opposition for Constructive Logics: The Intuitionistic and Linear Cases |
scientific article; zbMATH DE number 6153039 |
Statements
No Group of Opposition for Constructive Logics: The Intuitionistic and Linear Cases (English)
0 references
11 April 2013
0 references
square of opposition
0 references
linear logic
0 references
intuitionistic logic
0 references
