No label defined (Q5419884)
From MaRDI portal
scientific article; zbMATH DE number 6302908
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 6302908 |
Statements
11 June 2014
0 references
proof theory
0 references
nonstandard sequent calculi
0 references
tree hypersequents
0 references
labelled sequents
0 references
notational variants
0 references
cut elimination
0 references
provability logic
0 references
