Short equational bases for MV-Algebras, commutative BCK-Algebras and ŁBCK-algebras

2010/07/09 by João Araüjo, Joao Araujo, Araujo, Joao +4
Computer Science · Decision Sciences · Mathematics · #03G25 #Advanced Algebra and Logic #FOS: Mathematics #Fuzzy and Soft Set Theory #Logic (math.LO) #Logic, Reasoning, and Knowledge #math.LO #msc:03G25

paper · pdf · doi:10.48550/arxiv.1007.1601

20 pages, amsart

arxiv created 2010/07/09 · openalex publication_date 2010/07/09 · arxiv updated 2010/07/12 · openalex created_date 2016/06/24 · openalex updated_date 2026/07/28

Abstract

We show that the variety of MV-algebras is 2-based and we offer elegant 2-bases for the varieties of commutative BCK-algebras and ŁBCK-algebras.

Related

• SMB algebras I: On the variety of SMB algebras
• Profinite completions and MacNeille completions of MV-algebras
• Finitely Generated Varieties of Commutative BCK-algebras: Covers
• Nilpotent BCK-algebras
• State morphism MV-algebras