Translation of hypersequents into display sequents (Q4221771)
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 1228627
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7806792855262756
0 references
0.7752475738525391
0 references
0.7618218064308167
0 references
0.761347234249115
0 references
