@misc{indiciae6cd9f56929e5,
  title = {A finite axiomatization of positive MV-algebras},
  author = {Marco Abbadini and Peter Jipsen and Tomáš Kroupa and Sara Vannucci},
  year = {2022},
  doi = {10.1007/s00012-022-00776-3},
  url = {https://arxiv.org/abs/2112.03190},
  note = {Source identifier: 2112.03190}
}