AbstractA class K of algebras has the finite embeddability property (FEP) if every finite partial subalgebra of some member of K can be embedded into some finite member of K. We prove the FEP for varieties of decreasing residuated lattice-ordered algebras using a construction based on the canonical extension. This construction produces a (generally) different finite member of the class from alternative FEP constructions for similar classes of algebras. Additionally, the constructed algebra is internally compact, in contrast to other FEP constructions. We give a description of the σ- and π-extensions of operations that do not rely on the notions of closed and open elements and we use this to obtain a syntactic description of a class of inequalities s≤t that are preserved by the construction.
Journal of Logic and Computation – Oxford University Press
Published: Apr 1, 2017
It’s your single place to instantly
discover and read the research
that matters to you.
Enjoy affordable access to
over 18 million articles from more than
15,000 peer-reviewed journals.
All for just $49/month
Query the DeepDyve database, plus search all of PubMed and Google Scholar seamlessly
Save any article or search result from DeepDyve, PubMed, and Google Scholar... all in one place.
All the latest content is available, no embargo periods.
“Whoa! It’s like Spotify but for academic articles.”@Phil_Robichaud