- 首页
- 产品推荐个人精选服务科研辅助服务教育大数据服务行业精选服务学科系列服务产品服务
- 期刊大全
- 充值
- 会员
- 职称材料
- 首页
- 产品服务
- 知识脉络
- 期刊大全
- 充值
- 会员
- 职称材料
搜期刊
刊名
文献信息
- 任意字段
- 主题词
- 篇关摘
- 篇名
- 关键词
- 摘要
- 作者
- 第一作者
- 作者单位
- 刊名
- 中图分类号
- 学科分类号
- DOI
- 基金
投稿预审
Logic Journal of the IGPL
中科院4区 JCR:Q3 JCR:Q2 SCIE EI IEEE PubMed
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
近1年
近3年
近5年
近10年
- 1
研究报告（共：0 篇 )
时效
暂无数据
- 1