Pages that link to "Item:Q3648736"
From MaRDI portal
The following pages link to Proof Systems for a Gödel Modal Logic (Q3648736):
Displayed 4 items.
- Standard Gödel modal logics (Q965908) (← links)
- Fuzzy description logics and \(t\)-norm based fuzzy logics (Q990977) (← links)
- Axiomatization of crisp Gödel modal logic (Q2021571) (← links)
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions (Q2270235) (← links)