scientific article
From MaRDI portal
Publication:3505075
zbMath1156.06006MaRDI QIDQ3505075
Publication date: 18 June 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Residuated expansions of lattice-ordered structures, Complexity of the universal theory of residuated ordered groupoids, On Classical Nonassociative Lambek Calculus, Type logics and pregroups, Residuated frames with applications to decidability, Join-completions of partially ordered algebras, The finite embeddability property for residuated groupoids., Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids