ALGEBRAIC GEOMETRY FOR MV-ALGEBRAS

作者：Belluce Lawrence P^*; Di Nola Antonio; Lenzi Giacomo

来源：Journal of Symbolic Logic, 2014, 79(4): 1061-1091.

DOI：10.1017/jsl.2014.53

• Algebraic Geometry
• Lukasiewicz Logic
• MV-algebras

In this paper we try to apply universal algebraic geometry to MV algebras, that is, we study %26quot;MV algebraic sets%26quot; given by zeros of MV polynomials, and their %26quot;coordinate MV algebras%26quot;. We also relate algebraic and geometric objects with theories and models taken in Lukasiewicz many valued logic with constants. In particular we focus on the structure of MV polynomials and MV polynomial functions on a given MV algebra.

• 出版日期2014-12