TY  - RPRT
TI  - A finite axiomatization of positive MV-algebras
AU  - Marco Abbadini
AU  - Peter Jipsen
AU  - Tomáš Kroupa
AU  - Sara Vannucci
PY  - 2022
DO  - 10.1007/s00012-022-00776-3
UR  - https://arxiv.org/abs/2112.03190
ID  - 2112.03190
ER  -