Pages that link to "Item:Q1061157"
From MaRDI portal
The following pages link to Heyting algebras with dual pseudocomplementation (Q1061157):
Displaying 18 items.
- A note on regular De Morgan semi-Heyting algebras (Q305161) (← links)
- Semi Heyting almost distributive lattices. (Q748241) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- Regularity in double p-algebras (Q798683) (← links)
- Demi-pseudocomplemented lattices: Principal congruences and subdirect irreducibility (Q913835) (← links)
- Subdirectly irreducible and free Kleene-Stone algebras (Q1319058) (← links)
- Expansions of dually pseudocomplemented Heyting algebras (Q1680519) (← links)
- Restricted Priestley dualities and discriminator varieties (Q1680521) (← links)
- Heyting algebras. Duality theory. Translated from the Russian by A. Evseev (Q1722781) (← links)
- Projective algebras and primitive subquasivarieties in varieties with factor congruences (Q1991598) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- A categorial equivalence for semi-Nelson algebras (Q2100454) (← links)
- The exocenter of a double Heyting algebra (Q3734464) (← links)
- Splittings in varieties of logic (Q5002194) (← links)
- Semi-Heyting Algebras and Identities of Associative Type (Q5241407) (← links)
- ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC (Q5274878) (← links)
- Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications (Q6180422) (← links)
- Bi-intermediate logics of trees and co-trees (Q6584961) (← links)