Generalizing the well known and exploited relation between Heyting and Nelson algebras to semi-Heyting algebras, we introduce the variety of semi-Nelson algebras. The main tool for its study is the construction given by Vakarelov. Using it, we characterize the lattice of congruences of a semi-Nelson algebra through some of its deductive systems, use this to find the subdirectly irreducible algebras, prove that the variety is arithmetical, has equationally definable principal congruences, has the congruence extension property and describe the semisimple subvarieties.
Order – Springer Journals
Published: Nov 24, 2016
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