Pages that link to "Item:Q2254319"
From MaRDI portal
The following pages link to Word problem for knotted residuated lattices. (Q2254319):
Displaying 4 items.
- The FEP for some varieties of fully distributive knotted residuated lattices (Q1686329) (← links)
- FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE (Q3188328) (← links)
- MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE (Q5100054) (← links)
- Finite embeddability property for residuated lattices via regular languages (Q6201545) (← links)