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.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11386/4664268
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact