Pages that link to "Item:Q1938390"
From MaRDI portal
The following pages link to Glivenko theorems and negative translations in substructural predicate logics (Q1938390):
Displayed 5 items.
- A short proof of Glivenko theorems for intermediate predicate logics (Q377463) (← links)
- Double negation semantics for generalisations of Heyting algebras (Q2021570) (← links)
- Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited (Q2631646) (← links)
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory (Q5098721) (← links)
- (Q5111325) (← links)