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 6 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 for an inconsistency predicate (Q5075520) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Decidable variables for constructive logics (Q6047667) (← links)
- A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)
