Now showing items 1-1 of 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 ...