Szukaj
Wyświetlanie pozycji 1-1 z 1
Simple Logics for Basic Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)
An MV-algebra is an algebra (A, ⊕, ¬, 0), where (A, ⊕, 0) is a commutative monoid and ¬ is an idempotent operation on A satisfying also some additional axioms.
Basic algebras are similar algebras that can roughly be ...