1 paper · 1 filter
Marina Lattanzi, Alejandro Petrovich
MV-algebras were introduced by Chang to prove the completeness of the infinite-valued Lukasiewicz propositional calculus. In this paper we give a categorical equivalence between th…