MV-algebra

GPTKB entity