Pages that link to "Item:Q3648736"
From MaRDI portal
The following pages link to Proof Systems for a Gödel Modal Logic (Q3648736):
Displaying 7 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)
- Paraconsistent Gödel modal logic (Q2104534) (← links)
- A note on strong axiomatization of Gödel justification logic (Q2193971) (← links)
- Complete proof systems for weighted modal logic (Q2253184) (← links)
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions (Q2270235) (← links)