Pages that link to "Item:Q2270235"
From MaRDI portal
The following pages link to Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions (Q2270235):
Displayed 6 items.
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames (Q477584) (← links)
- Expanding basic fuzzy logic with truth constants for component delimiters (Q1759708) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Modal MTL-algebras (Q2445422) (← links)
- Monotone operators on Gödel logic (Q2449851) (← links)
- On terminological issues regarding linguistic hedges (Q2869779) (← links)