Pages that link to "Item:Q1938390"
From MaRDI portal
The following pages link to Glivenko theorems and negative translations in substructural predicate logics (Q1938390):
Displaying 10 items.
- A short proof of Glivenko theorems for intermediate predicate logics (Q377463) (← links)
- Glivenko theorem for \(N^\ast\)-extensions (Q890887) (← links)
- Glivenko theorems revisited (Q1035660) (← links)
- Double negation semantics for generalisations of Heyting algebras (Q2021570) (← links)
- Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited (Q2631646) (← links)
- On a generalization of Glivenko's theorem (Q2804042) (← links)
- Glivenko and Kuroda for simple type theory (Q2921007) (← links)
- Glivenko theorems for substructural logics over FL (Q3416119) (← links)
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory (Q5098721) (← links)
- Negative translations and normal modality (Q5111325) (← links)
