MV-algebra

MV-algebra, or many-valued algebra, is a mathematical structure used in the study of many-valued logics, particularly those that generalize classical propositional logic. The concept was introduced in the context of Lukasiewicz logic, which allows for truth values beyond just "true" and "false.