Pages that link to "Item:Q931403"
From MaRDI portal
The following pages link to An approach to Glivenko's theorem in algebraizable logics (Q931403):
Displaying 10 items.
- A short proof of Glivenko theorems for intermediate predicate logics (Q377463) (← links)
- Grishin algebras and cover systems for classical bilinear logic (Q647406) (← links)
- Semisimplicity and the discriminator in bounded BCK-algebras (Q992009) (← links)
- Glivenko theorems revisited (Q1035660) (← links)
- A modal analog for Glivenko's theorem and its applications (Q1203789) (← links)
- Regular elements and Kolmogorov translation in residuated lattices (Q2257976) (← links)
- On a generalization of Glivenko's theorem (Q2804042) (← links)
- Algebraic semantics for the (↔, ¬¬)-fragment of IPC (Q3117777) (← links)
- Glivenko like theorems in natural expansions of BCK-logic (Q4459591) (← links)
- (Q5283972) (← links)