Extending intuitionistic linear logic with knotted structural rules (Q1344438)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Extending intuitionistic linear logic with knotted structural rules |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extending intuitionistic linear logic with knotted structural rules |
scientific article |
Statements
Extending intuitionistic linear logic with knotted structural rules (English)
0 references
16 May 1995
0 references
extensions of intuitionistic linear logic
0 references
rule of inference
0 references
sequent calculi
0 references
weakening rule
0 references
contraction rule
0 references
cut elimination
0 references
decidability
0 references
undecidability
0 references
finite model property
0 references
