scientific article; zbMATH DE number 2042614

zbMath1041.03020MaRDI QIDQ4450443

Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller

Publication date: 15 February 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

many-valued logicGödel logichypersequent calculirelations calculi

Mathematics Subject Classification ID

Structure of proofs (03F07) Many-valued logic (03B50)

Related Items

From truth degree comparison games to sequents-of-relations calculi for Gödel logic, Proof search and co-NP completeness for many-valued logics, Decision methods for linearly ordered Heyting algebras, On the (fuzzy) logical content of CADIAG-2, From semantic games to provability: the case of Gödel logic