Translation of hypersequents into display sequents (Q4221771)
From MaRDI portal
scientific article; zbMATH DE number 1228627
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Translation of hypersequents into display sequents |
scientific article; zbMATH DE number 1228627 |
Statements
Translation of hypersequents into display sequents (English)
0 references
2 December 1998
0 references
display logic
0 references
cut-free hypersequent
0 references
