scientific article; zbMATH DE number 1950251
From MaRDI portal
Publication:4412849
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
First-order Gödel logics ⋮ LINEAR TIME IN HYPERSEQUENT FRAMEWORK ⋮ Hypersequent calculi for intuitionistic logic with classical atoms ⋮ Hypersequent Calculi for S5: The Methods of Cut Elimination ⋮ Eliminability of cut in hypersequent calculi for some modal logics of linear frames ⋮ A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains ⋮ A proof-theoretical investigation of global intuitionistic (fuzzy) logic
This page was built for publication: