Journal of the IGPL an electronic journal on pure and applied logic