ლოგიკა კომპაქტური