Logik nach Habeck-Art