• 充值
  • 会员
  • 职称材料
搜期刊
刊名

文献信息

  • 任意字段
  • 主题词
  • 篇关摘
  • 篇名
  • 关键词
  • 摘要
  • 作者
  • 第一作者
  • 作者单位
  • 刊名
  • 中图分类号
  • 学科分类号
  • DOI
  • 基金
文献检索

英国
投稿预审
Logic Journal of the IGPL 中科院4区 JCR:Q3 JCR:Q2 SCIE EI IEEE PubMed
发文量 1,491
被引量 8,971
影响因子(2025版) 0.569

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.

  • 主办单位： OXFORD UNIV PRESS
  • 出版地区： OXFORD
  • 出版周期： 双月刊
  • 别名： LOG J IGPL;Log. J. IGPL;LOGIC JOURNAL OF THE IGPL;IGPL逻辑日志
  • 国际标准连续出版物号/电子版： ISSN 1367-0751 / EISSN 1368-9894
  • 创刊时间： 1993年
热门主题：

Modal LogicIntuitionistic LogicSequent CalculusAlgebraic LogicParaconsistent LogicPropositional LogicSpecial IssueKripke ModelsProof TheoryAbductive ReasoningAlgebraic SemanticsModalTemporal LogicClassical Propositional LogicSet TheoryDeductive SystemCompleteness TheoremFuzzy LogicArtificial IntelligenceKnowledge Representation

收录汇总 栏目浏览 期刊详情
收录汇总
出版文献
期刊详情
新发布(2025版)
分析评价
  • 1
  • 2
  • 3
目录
封面
2013年SI6期

2013年SI6期

客服咨询
投稿相关：023-63416211
撤稿相关：023-63012682
查重相关：023-63506028
重庆维普资讯有限公司 渝B2-20050021-1 渝公网备 50019002500403
违法和不良信息举报中心   举报邮箱：jubao@cqvip.com   互联网算法推荐专项举报：sfjubao@cqvip.com    网络暴力专项举报: bljubao@cqvip.com
网络出版：（署）网出证（渝）字第014号    出版物经营许可证：新出发2018批字第006号