Pages that link to "Item:Q3416119"
From MaRDI portal
The following pages link to Glivenko theorems for substructural logics over FL (Q3416119):
Displayed 18 items.
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Integrally closed residuated lattices (Q831226) (← 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)
- Double negation semantics for generalisations of Heyting algebras (Q2021570) (← links)
- A proof-theoretic approach to negative translations in intuitionistic tense logics (Q2082257) (← links)
- \(L\)-algebras and three main non-classical logics (Q2140578) (← links)
- Fuzzy logics from substructural perspective (Q2270232) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited (Q2631646) (← links)
- FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION (Q5015729) (← links)
- The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory (Q5098721) (← links)
- (Q5111325) (← links)
- Structural and universal completeness in algebra and logic (Q6145037) (← links)