The following pages link to Glivenko theorems revisited (Q1035660):
Displaying 19 items.
- A short proof of Glivenko theorems for intermediate predicate logics (Q377463) (← links)
- Glivenko theorem for \(N^\ast\)-extensions (Q890887) (← links)
- An approach to Glivenko's theorem in algebraizable logics (Q931403) (← links)
- A general Glivenko theorem (Q1047099) (← links)
- A modal analog for Glivenko's theorem and its applications (Q1203789) (← 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)
- 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)
- On the fundamental conjecture of GLC, VI (Q3292575) (← links)
- Glivenko theorems for substructural logics over FL (Q3416119) (← links)
- The LGL (Lighthill–Gueron–Liron) Theorem—historical perspective and critique (Q4331162) (← links)
- The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Negative translations and normal modality (Q5111325) (← links)
- Structural and universal completeness in algebra and logic (Q6145037) (← links)
- A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)