The following pages link to (Q2752409):
Displaying 8 items.
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts (Q422484) (← links)
- On the variety generated by bounded pseudo-BCK-algebras (Q616842) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator (Q1935561) (← links)
- Fuzzy logics from substructural perspective (Q2270232) (← links)
- On three implication-less fragments of t-norm based fuzzy logics (Q2457026) (← links)
- On two fragments with negation and without implication of the logic of residuated lattices (Q2501164) (← links)
- Simple, local and subdirectly irreducible state residuated lattices (Q5029670) (← links)