TY - RPRT TI - Two principles in many-valued logic AU - Stefano Aguzzoli AU - Vincenzo Marra PY - 2013 UR - https://arxiv.org/abs/1310.2346 ID - 1310.2346 ER -