Logic Journal of the IGPL publishes papers 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. Logic Journal of the IGPL is published under licence from Professor Dov Gabbay as owner of the journal.
数据整理自公开网络的投稿反馈，仅供参考。
