Monotone operators on Gödel logic

DOI10.1007/s00153-013-0365-4zbMath1432.03035OpenAlexW2129932388MaRDI QIDQ2449851

Matthias Baaz, Oliver Fasching

Publication date: 12 May 2014

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-013-0365-4

zbMATH Keywords

Gödel logicmodal extension

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Extending fuzzy logics with many hedges ⋮ Cut Elimination for Gödel Logic with an Operator Adding a Constant

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Standard Gödel modal logics
• On very true
• Gödel logics with monotone operators
• Interpolation in fuzzy logic
• Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
• A propositional calculus with denumerable matrix
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
• Gödel Homomorphisms as Gödel Modal Operators

This page was built for publication: Monotone operators on Gödel logic