Proof Systems for a Gödel Modal Logic

DOI10.1007/978-3-642-02716-1_20zbMath1260.03053MaRDI 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

03B52: Fuzzy logic; logic of vagueness

03B45: Modal logic (including the logic of norms)

03F05: Cut-elimination and normal-form theorems

03F07: Structure of proofs

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)

03B62: Combined logics

Related Items

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