Proof Systems for a Gödel Modal Logic

DOI10.1007/978-3-642-02716-1_20zbMath1260.03053OpenAlexW2090382436MaRDI QIDQ3648736

George Metcalfe, Nicola Olivetti

Publication date: 1 December 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02716-1_20

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Combined logics (03B62)

Related Items (5)

Standard Gödel modal logics ⋮ Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions ⋮ Axiomatization of crisp Gödel modal logic ⋮ Fuzzy description logics and \(t\)-norm based fuzzy logics ⋮ Paraconsistent Gödel modal logic

This page was built for publication: Proof Systems for a Gödel Modal Logic