In this paper we first provide a new axiomatization of algebraically closed MV-algebrasbased on McNaughton’s Theorem. Then we turn to sheaves, and we represent algebraically closed MV-algebras as algebras of global sections of sheaves,where the stalks are divisible MV-chains and the base space is Stonean

Algebraically closed MV-algebras and their sheaf representation

DI NOLA, Antonio;FERRAIOLI, ANNA RITA;LENZI, Giacomo
2013

Abstract

In this paper we first provide a new axiomatization of algebraically closed MV-algebrasbased on McNaughton’s Theorem. Then we turn to sheaves, and we represent algebraically closed MV-algebras as algebras of global sections of sheaves,where the stalks are divisible MV-chains and the base space is Stonean
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/4249054
 Attenzione

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

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