Title

A Finite Axiomatization of Positive MV-Algebras

Document Type

Article

Publication Date

6-28-2022

Abstract

Positive MV-algebras are the subreducts of MV-algebras with respect to the signature {⊕,⊙,∨,∧,0,1}. We provide a finite quasi-equational axiomatization for the class of such algebras.

Comments

This article was originally published in Algebra Universalis, volume 83, in 2022. https://doi.org/10.1007/s00012-022-00776-3

Peer Reviewed

1

Copyright

Springer

Share

COinS