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.
structural completeness and unification problem of the logic of Chang algebra
DI NOLA, Antonio;LENZI, Giacomo
2016
Abstract
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.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
