Connection-based proof construction in linear logic (Q5234702)
From MaRDI portal
scientific article; zbMATH DE number 7111173
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Connection-based proof construction in linear logic |
scientific article; zbMATH DE number 7111173 |
Statements
Connection-based proof construction in linear logic (English)
0 references
1 October 2019
0 references
linear logic
0 references
sequent calculus
0 references
sequent rule
0 references
