The following pages link to (Q4981448):
Displaying 12 items.
- Negative translations not intuitionistically equivalent to the usual ones (Q361872) (← links)
- Double negation semantics for generalisations of Heyting algebras (Q2021570) (← links)
- A proof-theoretic approach to negative translations in intuitionistic tense logics (Q2082257) (← links)
- A Kuroda-style \(j\)-translation (Q2312092) (← links)
- Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited (Q2631646) (← links)
- A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory (Q2683776) (← links)
- Negative Translations and Duality: Toward a Unified Approach (Q3080095) (← links)
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
- FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION (Q5015729) (← links)
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory (Q5098721) (← links)
- Negative translations and normal modality (Q5111325) (← links)
- A study of algebraic structures and logics based on categories of rough sets (Q6535069) (← links)
