The Journal is published in hardcopy and in electronic form several times per year by the Max-Planck-Institut für Informatik, and by the Imperial College, London. It is the first scientific journal on logic where publication is fully electronic: submission, refereeing, revising, typesetting, checking proofs, and publishing, all is done via electronic mailing and electronic publishing.
Papers are invited in all areas of pure and applied logic, including: pure logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, logic and computation, logic and language, and logic engineering.
The Journal is an attempt to solve a problem in the logic (in particular, IGPL) community: