Pages that link to "Item:Q2804042"
From MaRDI portal
The following pages link to On a generalization of Glivenko's theorem (Q2804042):
Displaying 11 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)
- Le calcul des propositions classique et intuitionniste comme modèles l'un de l'autre (Q1071765) (← links)
- A modal analog for Glivenko's theorem and its applications (Q1203789) (← links)
- Glivenko theorems and negative translations in substructural predicate logics (Q1938390) (← links)
- Glivenko and Kuroda for simple type theory (Q2921007) (← links)
- (Q3142970) (← links)
- Glivenko theorems for substructural logics over FL (Q3416119) (← links)
- (Q5696732) (← links)