Two extensions of the structurally free logic LC (Q4392658)
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: Two extensions of the structurally free logic LC |
scientific article; zbMATH DE number 1160472
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Two extensions of the structurally free logic LC |
scientific article; zbMATH DE number 1160472 |
Statements
Two extensions of the structurally free logic LC (English)
0 references
1998
0 references
Gentzen system
0 references
substructural logic
0 references
algebraic semantics
0 references
single-conclusion sequent system
0 references
combinators
0 references
cut elimination
0 references
frame semantics
0 references
representation theorem
0 references
0.7584987
0 references
0 references
0 references
0.75158805
0 references
