Sequent calculus for the intersection of LK and the reversed (Q4648720)
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 6107944
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Sequent calculus for the intersection of LK and the reversed |
scientific article; zbMATH DE number 6107944 |
Statements
16 November 2012
0 references
sequent calculus
0 references
cut elimination
0 references
intersection of calculi
0 references
0.7680704593658447
0 references
0.754907488822937
0 references
0.7443680763244629
0 references
0.726009726524353
0 references
