Pages that link to "Item:Q5932484"
From MaRDI portal
The following pages link to On the lattice of varieties of residuation algebras (Q5932484):
Displaying 7 items.
- 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)
- Equational bases for joins of residuated-lattice varieties (Q1826928) (← links)
- On varieties of biresiduation algebras (Q2433109) (← links)
- Remarks on splittings in the variety of residuated lattices (Q2752413) (← links)
- Minimal subvarieties of involutive residuated lattices (Q2888151) (← links)
- (Q3728963) (← links)