Publication:4412849
From MaRDI portal
zbMath1015.03052MaRDI QIDQ4412849
Agata Ciabattoni, Matthias Baaz
Publication date: 17 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2381/23810024.htm
03F05: Cut-elimination and normal-form theorems
Related Items
LINEAR TIME IN HYPERSEQUENT FRAMEWORK, Eliminability of cut in hypersequent calculi for some modal logics of linear frames, Hypersequent calculi for intuitionistic logic with classical atoms, A proof-theoretical investigation of global intuitionistic (fuzzy) logic, First-order Gödel logics, Hypersequent Calculi for S5: The Methods of Cut Elimination, A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains