Pages that link to "Item:Q1771935"
From MaRDI portal
The following pages link to Free algebras in varieties of BL-algebras with a Boolean retract. (Q1771935):
Displaying 17 items.
- State morphism MV-algebras (Q648387) (← links)
- Free-decomposability in varieties of pseudocomplemented residuated lattices (Q763308) (← links)
- Standard completeness of Hájek basic logic and decompositions of BL-chains (Q816859) (← links)
- An approach to Glivenko's theorem in algebraizable logics (Q931403) (← links)
- Boolean representation of bounded BCK-algebras (Q934913) (← links)
- On the lattice of deductive systems of a BL-algebra (Q1407188) (← links)
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term (Q1935556) (← links)
- Functional representation of finitely generated free algebras in subvarieties of BL-algebras (Q2007879) (← links)
- Double negation semantics for generalisations of Heyting algebras (Q2021570) (← links)
- A categorical equivalence for Stonean residuated lattices (Q2422315) (← links)
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) (Q2433099) (← links)
- Lattice-theoretic properties of algebras of logic (Q2448299) (← links)
- The subvariety of commutative residuated lattices represented by twist-products (Q2449445) (← links)
- States on semi-divisible residuated lattices (Q2466755) (← links)
- Free algebras in varieties of Stonean residuated lattices (Q2466756) (← links)
- Free algebras in varieties of BL-algebras generated by a BL<sub><i>n</i></sub>-chain (Q5480467) (← links)
- Transfer theorems for finitely subdirectly irreducible algebras (Q6183569) (← links)
