Pages that link to "Item:Q763318"
From MaRDI portal
The following pages link to Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318):
Displaying 18 items.
- A note on regular De Morgan semi-Heyting algebras (Q305161) (← links)
- The semi Heyting-Brouwer logic (Q495844) (← links)
- Gentzen-style sequent calculus for semi-intuitionistic logic (Q514513) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- Expansions of dually pseudocomplemented Heyting algebras (Q1680519) (← links)
- On congruences in weak implicative semi-lattices (Q1701818) (← links)
- \(l\)-hemi-implicative semilattices (Q1790597) (← links)
- A categorial equivalence for semi-Nelson algebras (Q2100454) (← links)
- Semi-Heyting algebras term-equivalent to Gödel algebras (Q2376916) (← links)
- Semi-Nelson algebras (Q2413410) (← links)
- Dually quasi-De Morgan Stone semi-Heyting algebras. I: Regularity (Q2834606) (← links)
- Dually quasi-De Morgan Stone semi-Heyting algebras. II: Regularity (Q2834607) (← links)
- Free-decomposability in varieties of semi-Heyting algebras (Q2888630) (← links)
- Discriminator varieties of double-Heyting algebras (Q2971274) (← links)
- Dually hemimorphic semi-Nelson algebras (Q5082325) (← links)
- Semi-Heyting Algebras and Identities of Associative Type (Q5241407) (← links)
- A note on chain‐based semi‐Heyting algebras (Q6047660) (← links)
- Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications (Q6180422) (← links)