TY - RPRT TI - The two-sorted algebraic theory of states, and the universal states of MV-algebras AU - Tomáš Kroupa AU - Vincenzo Marra PY - 2020 UR - https://arxiv.org/abs/2001.03533 ID - 2001.03533 ER -