Logic Journal Of The Igpl