Monotone operators on Gödel logic
From MaRDI portal
Publication:2449851
DOI10.1007/s00153-013-0365-4zbMath1432.03035MaRDI 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
03B52: Fuzzy logic; logic of vagueness
03B45: Modal logic (including the logic of norms)
03B50: Many-valued logic
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
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