2024/01/23 by Lavinia Corina Ciungu, Ciungu, Lavinia Corina
Computer Science · Decision Sciences · #Advanced Algebra and Logic #FOS: Mathematics #Fuzzy and Soft Set Theory #Rings and Algebras (math.RA) #Rough Sets and Fuzzy Logic
paper · pdf · doi:10.48550/arxiv.2401.12845
openalex publication_date 2024/01/23 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Based on implicative involutive BE algebras, we redefine the orthomodular lattices, by introducing the notion of implicative-orthomodular lattices, and we study their properties. We characterize these algebras, proving that the implicative-orthomodular lattices are quantum-Wajsberg algebras. We also define and characterize the implicative-modular algebras as a subclass of implicative-orthomodular lattices. The orthomodular softlattices and orthomodular widelattices are also redefined, by introducing the notions of implicative-orthomodular softlattices and implicative-orthomodular widelattices. Finally, we prove that the implicative-orthomodular softlattices are equivalent to implicative-orthomodular lattices and that the implicative-orthomodular widelattices are special cases of quantum-Wajsberg algebras.