scientific article; zbMATH DE number 2042614

MaRDI QIDQ4450443zbMATH OpenFDO

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

Publication date 15 February 2004

zbMATH Keywords

Gödel logichypersequent calculimany-valued logicrelations calculi

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1341466
• Proof theory for locally finite many-valued logics: semi-projective logics
• A relational formalisation of arbitrary finite valued logics
• Proof search and co-NP completeness for many-valued logics
• Many-place sequent calculi for finitely-valued logics

Cited in

(10)

• A simple sequent calculus for Angell's logic of analytic containment
• Proof search and co-NP completeness for many-valued logics
• From semantic games to provability: the case of Gödel logic
• From truth degree comparison games to sequents-of-relations calculi for Gödel logic
• Decision methods for linearly ordered Heyting algebras
• Proof theory for locally finite many-valued logics: semi-projective logics
• scientific article; zbMATH DE number 63610 (Why is no real title available?)
• scientific article; zbMATH DE number 1341466 (Why is no real title available?)
• scientific article; zbMATH DE number 1950262 (Why is no real title available?)
• On the (fuzzy) logical content of CADIAG-2

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4450443)