We show that every interval of an MV-algebra M is an MV-algebra again; the operations on the interval are defined by certain polynomial functions over M.
We show that every interval of an MV-algebra M is an MV-algebra again; the operations on the interval are defined by certain polynomial functions over M. (en)
Každý interval v MV-alebře M je opět MV-algebra; operace na intervalu jsou jisté polynomické funkce na M. (cs)