A finite axiomatization of positive MV-algebras

preprint2022arXivOpen access

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.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Write a reviewWrite

No reviews yet.

Add a commentWrite

No comments yet.

A finite axiomatization of positive MV-algebras

Abstract

Connections

Building this map preview

Reviews 0

Discussion 0