Pages that link to "Item:Q3416119"
From MaRDI portal
The following pages link to Glivenko theorems for substructural logics over FL (Q3416119):
Displayed 6 items.
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- An approach to Glivenko's theorem in algebraizable logics (Q931403) (← links)
- Glivenko theorems revisited (Q1035660) (← links)
- Glivenko theorems and negative translations in substructural predicate logics (Q1938390) (← links)
- Fuzzy logics from substructural perspective (Q2270232) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)