TY - JOUR AU - Nicolai, Carlo AU - Rossi, Lorenzo PY - manuscript TI - Systems for non-reflexive consequence ER -