The Logic of Bunched Implications (Q4262604)
From MaRDI portal
scientific article; zbMATH DE number 1340722
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Logic of Bunched Implications |
scientific article; zbMATH DE number 1340722 |
Statements
The Logic of Bunched Implications (English)
0 references
22 September 1999
0 references
multiplicative quantifiers
0 references
proof-theoretic relationship between conjunction and implication
0 references
merging of intuitionistic logic and multiplicative intuitionistic linear logic
0 references
bi-Cartesian doubly closed categories
0 references
restrictions on structural rules
0 references
computational interpretations
0 references
