A finite axiomatization of positive MV-algebras

Marco Abbadini; Peter Jipsen; Tomas Kroupa; Sara Vannucci

doi:10.1007/s00012-022-00776-3

A finite axiomatization of positive MV-algebras

Marco Abbadini, Peter Jipsen, Tomas Kroupa, Sara Vannucci^*

^*Corresponding author for this work

Computer Science

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Article number	28
Number of pages	15
Journal	Algebra Universalis
Volume	83
DOIs	https://doi.org/10.1007/s00012-022-00776-3
Publication status	Published - 28 Jun 2022

Keywords

MV-algebras
Positive subreducts
Lattice-ordered monoids
Quasivarieties
Quasi-equations
Axiomatization

Access to Document

10.1007/s00012-022-00776-3

Cite this

@article{67ce9d271a1c44848fc9d8a870446466,

title = "A finite axiomatization of positive MV-algebras",

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.",

keywords = "MV-algebras, Positive subreducts, Lattice-ordered monoids, Quasivarieties, Quasi-equations, Axiomatization",

author = "Marco Abbadini and Peter Jipsen and Tomas Kroupa and Sara Vannucci",

year = "2022",

month = jun,

day = "28",

doi = "10.1007/s00012-022-00776-3",

language = "English",

volume = "83",

journal = "Algebra Universalis",

issn = "0002-5240",

publisher = "Springer",

}

TY - JOUR

T1 - A finite axiomatization of positive MV-algebras

AU - Abbadini, Marco

AU - Jipsen, Peter

AU - Kroupa, Tomas

AU - Vannucci, Sara

PY - 2022/6/28

Y1 - 2022/6/28

N2 - 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.

AB - 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.

KW - MV-algebras

KW - Positive subreducts

KW - Lattice-ordered monoids

KW - Quasivarieties

KW - Quasi-equations

KW - Axiomatization

U2 - 10.1007/s00012-022-00776-3

DO - 10.1007/s00012-022-00776-3

M3 - Article

SN - 0002-5240

VL - 83

JO - Algebra Universalis

JF - Algebra Universalis

M1 - 28

ER -

A finite axiomatization of positive MV-algebras

Abstract

Keywords

Access to Document

Fingerprint

Cite this