Abstract

In this paper we first provide a new axiomatization of algebraically closed MV-algebras based 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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call