Arrow Research search
Back to FLAP

FLAP 2021

Two Generalizations of Bounded Involutive Lattices and of Ortholattices.

Journal Article Number 7 Logic in Computer Science

Abstract

We introduce and study two dual independent absorption laws and two generalizations of bounded lattices and, consequently, two corresponding generalizations of bounded involutive lattices and two corresponding generalizations of ortholattices; a proper subclass of MV algebras is obtained. Many examples are provided.

Authors

Keywords

  • m-MEL algebra
  • m-BE algebra
  • m-pre-BCK algebra
  • m-BCK algebra
  • MV algebra
  • lattice
  • bounded involutive lattice
  • ortholattice
  • softlattice
  • widelattice
  • bounded involutive softlattice
  • bounded involutive widelattice
  • orthosoftlattice
  • orthowidelattice
  • Boolean algebra MSC 2020: 06B75
  • 06C15
  • 06D35

Context

Venue
IfCoLog Journal of Logics and their Applications
Archive span
2014-2026
Indexed papers
633
Paper id
942085988364289293