Reziduované svazy a logika s neurčitostí