A finite axiomatization of positive MV-algebras
Crossref DOI link: https://doi.org/10.1007/s00012-022-00776-3
Published Online: 2022-06-28
Published Print: 2022-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Abbadini, Marco
Jipsen, Peter
Kroupa, Tomáš
Vannucci, Sara
Text and Data Mining valid from 2022-06-28
Version of Record valid from 2022-06-28
Article History
Received: 8 December 2021
Accepted: 24 April 2022
First Online: 28 June 2022