Pages that link to "Item:Q377463"
From MaRDI portal
The following pages link to A short proof of Glivenko theorems for intermediate predicate logics (Q377463):
Displaying 4 items.
- Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited (Q2631646) (← links)
- Design of Optimum Systems of Viscoelastic Vibration Absorbers for a Given Material Based on the Fractional Calculus Model (Q3111035) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Decidable variables for constructive logics (Q6047667) (← links)
