A unified display proof theory for bunched logic (Q3178253)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6602811
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A unified display proof theory for bunched logic |
scientific article; zbMATH DE number 6602811 |
Statements
A Unified Display Proof Theory for Bunched Logic (English)
0 references
8 July 2016
0 references
bunched logic
0 references
display calculus
0 references
proof theory
0 references
cut elimination
0 references
substructural logic
0 references
0 references
0.9674532413482666
0 references
0.9111672043800354
0 references
0.7829611301422119
0 references
0.7725741863250732
0 references
