On generalizing the Nullstellensatz for MV algebras
Lawrence Peter Belluce, Antonio Di Nola, Giacomo Lenzi · Journal of Logic and Computation · 2014
In this article, first we generalize from the MV algebra [0,1] to an arbitrary MV algebra A the well-known Galois connection (V,I) between the powerset of each power of [0,1] and the powerset of the corresponding free MV algebra. Then, in analogy with the Nullstellensatz of classical algebraic geometry, we study the closure operators obtained by composing the functors V and I.