Abstract
It is proved that every finitely subdirectly irreducible De Morgan monoid A (with neutral element e) is either (i) a Sugihara chain in which e covers ¬e or (ii) the union of an interval subalgebra [¬a,a] and two chains of idempotents, (¬a] and [a), where a=(¬e)2. In the latter case, the variety generated by [¬a,a] has no nontrivial idempotent member, and A/[¬a) is a Sugihara chain in which ¬e=e. It is also proved that there are just four minimal varieties of De Morgan monoids. These findings are then used to simplify the proof of a description (due to K. Świrydowicz) of the lower part of the subvariety lattice of relevant algebras. The results throw light on the models and the axiomatic extensions of fundamental relevance logics.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
