A finite axiomatization of positive MV-algebras

TL;DR

This paper presents a finite set of axioms that precisely characterizes positive MV-algebras, a specific class within the broader MV-algebra framework, enhancing understanding of their algebraic structure.

Contribution

It introduces the first finite quasi-equational axiomatization for positive MV-algebras, clarifying their algebraic properties and relationship to MV-algebras.

Findings

Finite axiomatization established

Clarifies the algebraic structure of positive MV-algebras

Facilitates further theoretical and computational research

Abstract

Positive MV-algebras are the subreducts of MV-algebras with respect to the signature $\{\oplus, \odot, \lor, \land, 0, 1\}$. We provide a finite quasi-equational axiomatization for the class of such algebras.