Current trends in substructural logics (Q266641)
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: Current trends in substructural logics |
scientific article; zbMATH DE number 6568195
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Current trends in substructural logics |
scientific article; zbMATH DE number 6568195 |
Statements
Current trends in substructural logics (English)
0 references
13 April 2016
0 references
combinatory logic
0 references
decidability
0 references
display logic
0 references
linear logic
0 references
relevance logics
0 references
sequent calculi
0 references
substructural logics
0 references
relational semantics
0 references
0 references
0 references
0.9034272
0 references
0 references
0.8951577
0 references
0.8928642
0 references
0.89250255
0 references
