TY - RPRT TI - Hoops, Coops and the Algebraic Semantics of Continuous Logic AU - Rob Arthan AU - Paulo Oliva PY - 2012 UR - https://arxiv.org/abs/1212.2887 ID - 1212.2887 ER -