The variety generated by perfect MV-algebras is investigated in the paper. It is shown that for m-generated algebras from this variety to be finitely presented is equivalent to be projective. The variety generated by perfect algebras has unitary unification type and it is shown that the logic corresponding to this variety is structurally complete.
File in questo prodotto:
Non ci sono file associati a questo prodotto.