The following pages link to Glivenko theorems revisited (Q1035660):
Displaying 10 items.
- A short proof of Glivenko theorems for intermediate predicate logics (Q377463) (← 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)
- The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- (Q5111325) (← links)
- Structural and universal completeness in algebra and logic (Q6145037) (← links)
- A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)
