Pages that link to "Item:Q2888630"
From MaRDI portal
The following pages link to Free-decomposability in varieties of semi-Heyting algebras (Q2888630):
Displaying 14 items.
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts (Q422484) (← links)
- Gentzen-style sequent calculus for semi-intuitionistic logic (Q514513) (← links)
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond (Q711563) (← links)
- Free-decomposability in varieties of pseudocomplemented residuated lattices (Q763308) (← links)
- On congruences in weak implicative semi-lattices (Q1701818) (← links)
- Semi-Nelson algebras (Q2413410) (← links)
- Decomposability of the finitely generated free hoop residuation algebra (Q2426730) (← links)
- Decomposability of free Tarski algebras (Q2496153) (← links)
- Finite algebras from Fregean varieties: Decomposition and polynomials (Q2752416) (← links)
- (Q3987718) (← links)
- Free Algebras in Certain Varieties of Distributive Pseudocomplemented De Morgan Algebras (Q4224089) (← links)
- A Decomposition of Elements of the Free Algebra (Q4277319) (← links)
- Finitely generated free Heyting algebras (Q4724609) (← links)
- Semi-Heyting Algebras and Identities of Associative Type (Q5241407) (← links)