‘Algebraic logic’

MV-алгебра Определение MV-алгебр MV-алгебра — алгебраическая структура с бинарной операцией ⊕, унарной операцией ¬ и постоянной 0.   MV-алгебры удовлетворяют определенным […]