A modal view of linear logic (Q4314678)
From MaRDI portal
scientific article; zbMATH DE number 695449
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A modal view of linear logic |
scientific article; zbMATH DE number 695449 |
Statements
A modal view of linear logic (English)
0 references
13 June 1995
0 references
contraction rule
0 references
exponential connectives
0 references
linear logic
0 references
Grishin-Ono translation
0 references
propositional modal logic S4
0 references
contraction-free sequent calculus
0 references
cut-elimination
0 references
cut-free linear proofs
0 references
decision problem
0 references
