Pages that link to "Item:Q2971274"
From MaRDI portal
The following pages link to Discriminator varieties of double-Heyting algebras (Q2971274):
Displaying 9 items.
- Compact algebras in discriminator varieties (Q690118) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- Expansions of dually pseudocomplemented Heyting algebras (Q1680519) (← links)
- Restricted Priestley dualities and discriminator varieties (Q1680521) (← links)
- Uniform interpolation and coherence (Q1740631) (← links)
- Projective algebras and primitive subquasivarieties in varieties with factor congruences (Q1991598) (← links)
- Equimorphy in varieties of double Heyting algebras (Q4399332) (← links)
- ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC (Q5274878) (← links)
- Bi-intermediate logics of trees and co-trees (Q6584961) (← links)