Pages that link to "Item:Q1355602"
From MaRDI portal
The following pages link to Varieties of commutative residuated integral pomonoids and their residuation subreducts (Q1355602):
Displayed 21 items.
- On the variety generated by bounded pseudo-BCK-algebras (Q616842) (← links)
- Joins and subdirect products of varieties (Q634765) (← links)
- Functional completeness of bounded structures of fuzzy logic with wvt-operators (Q835282) (← links)
- An approach to Glivenko's theorem in algebraizable logics (Q931403) (← links)
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras (Q931448) (← links)
- \(L\)-algebras, self-similarity, and \(l\)-groups (Q952544) (← links)
- Semisimplicity and the discriminator in bounded BCK-algebras (Q992009) (← links)
- Representable biresiduated lattices (Q1348684) (← links)
- Varieties of BL-algebras. I: General properties. (Q1812017) (← links)
- Geometrical methods in Wajsberg hoops (Q1858223) (← links)
- On very true operators on pocrims (Q2391233) (← links)
- In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
- Minimal varieties of involutive residuated lattices (Q2433108) (← links)
- Basic hoops: an algebraic study of continuous t-norms (Q2462673) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- Upper bounds on the sizes of finitely generated algebras (Q3099653) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- Residuated Structures, Concentric Sums and Finiteness Conditions (Q3543391) (← links)
- On the finite embeddability property for residuated ordered groupoids (Q5461379) (← links)
- Adding structure to MV-algebras (Q5954118) (← links)