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):
Displaying 36 items.
- Hoop twist-structures (Q334145) (← links)
- 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)
- Every BCK-algebra is a set of residuables in an integral pomonoid (Q1111585) (← links)
- Representable biresiduated lattices (Q1348684) (← links)
- On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras (Q1699728) (← links)
- Varieties of BL-algebras. I, revisited (Q1699741) (← links)
- Quantum B-algebras: their omnipresence in algebraic logic and beyond (Q1701730) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Varieties of BL-algebras. I: General properties. (Q1812017) (← links)
- Geometrical methods in Wajsberg hoops (Q1858223) (← links)
- Double negation semantics for generalisations of Heyting algebras (Q2021570) (← links)
- Splittings in subreducts of hoops (Q2082253) (← links)
- Projectivity in (bounded) commutative integral residuated lattices (Q2108529) (← links)
- Group representation for even and odd involutive commutative residuated chains (Q2157596) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- On residuation in multilattices: filters, congruences, and homomorphisms. (Q2351565) (← 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 COMMUTATIVE RESIDUAL POMONOIDS (Q4393866) (← links)
- Residuated relational systems (Q4609512) (← links)
- On the finite embeddability property for residuated ordered groupoids (Q5461379) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)
- Adding structure to MV-algebras (Q5954118) (← links)
