Variable Sharing in Substructural Logics: an Algebraic Characterization (Q4556011)
From MaRDI portal
scientific article; zbMATH DE number 6983884
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Variable Sharing in Substructural Logics: an Algebraic Characterization |
scientific article; zbMATH DE number 6983884 |
Statements
Variable Sharing in Substructural Logics: an Algebraic Characterization (English)
0 references
23 November 2018
0 references
relevant logic
0 references
algebraic characterizations of logical properties
0 references
variable sharing property
0 references
substructural logics
0 references
