On generalizing the Nullstellensatz for MV algebras

DOI10.1093/logcom/exu042zbMath1341.06016OpenAlexW2105509971MaRDI QIDQ5262481

Giacomo Lenzi, Antonio Di Nola, Lawrence Peter Belluce

Publication date: 15 July 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exu042

zbMATH Keywords

MV-algebrasNullstellensatzGalois connectionsMcNaughton theoremMV-polynomials

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Lattices and duality (06D50) MV-algebras (06D35) Many-valued logic (03B50) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

This page was built for publication: On generalizing the Nullstellensatz for MV algebras