La coerenza logica nella teoria medioevale delle obbligazioni