Nested sequents for intermediate logics: the case of Gödel-Dummett logics (Q6172067)
From MaRDI portal
scientific article; zbMATH DE number 7727657
Language | Label | Description | Also known as |
---|---|---|---|
English | Nested sequents for intermediate logics: the case of Gödel-Dummett logics |
scientific article; zbMATH DE number 7727657 |
Statements
Nested sequents for intermediate logics: the case of Gödel-Dummett logics (English)
0 references
16 August 2023
0 references
cut-elimination
0 references
first-order
0 references
intermediate logic
0 references
nested sequent
0 references
proof theory
0 references
0 references
0 references