期刊档案 · MATHEMATICS
Journal of Formalized Reasoning
ISSN 1972-5787 · University of Bologna · Italy
Journal of Formalized Reasoning 完全开放获取，免版面费，投稿社区反馈审稿约 25 周，Scopus 收录，有预警或收录变动提示，请谨慎投稿。
官网最新一期停留在 2020 年（Volume 13, Issue 1），近两年可能未再出刊或已迁移平台，投稿前请到官网核实。
研究范围
研究范围与定位
The journal is meant to become the natural target for research papers describing significant, automated or semi-automated formalization efforts in any area, including classical mathematics, constructive mathematics formal algorithms, and program verification. The emphasis of the journal is on proof techniques and methodologies and their impact on the formalization process. In particular, the journal provides a forum for comparing alternative approaches, enhance reusability of solutions and provide a clear view of the current state of the field. Although outside the scope of the journal, it will also help to better understand the requirements for automatic and interactive tools supporting the formalization effort, becoming a major vehicle for their diffusion and enhancement. The journal encourages the submission of interesting, insightful, and informative papers, preferably accompanied by formal scripts. Although the journal is not meant to become a repository for proof scripts, an effort will be made to ensure that the "experimental data" backing formalisation papers will remain accessible.
摘自期刊官网 Aims & Scope
研究方向（LetPub）：MATHEMATICS
编委会国家分布：未见中国大陆编委；主要国家 美国 5、法国 3、英国 2、意大利 2、荷兰 2（共 16 位编委标注了国家） 编委会 ↗出版商官网 ·
分区与收录
学科分区与数据库收录
中科院期刊分区表
期刊分区表（ 2025年3月升级版）未收录
该期刊未被此版本分区表收录。
《新锐期刊分区表》（ 2026年3月发布）未收录
该期刊未被此版本分区表收录。
期刊分区表（ 2023年12月旧的升级版）未收录
该期刊未被此版本分区表收录。
CiteScore 分区（Scopus，2026 年 6 月版）
| 学科 | 分区 | 排名 | 百分位 |
|---|---|---|---|
| General Mathematics | Q2 | 126/391 | — |
| Computer Science (miscellaneous) | Q3 | 56/90 | — |
Scopus 按 CiteScore 在每个学科内为期刊排名，百分位 75 及以上为 Q1，每 25 为一档；与中科院分区是不同体系。LetPub
数据库收录
ScopusLetPub
预警 / 风险提示：预警提示：2023年9月20日被ESCI期刊列表Production除名 2026年03月发布的新锐学术版：不在预警名单中 2025年03月发布的2025版：不在预警名单中 2024年02月发布的2024版：不在预警名单中 2023年01月发布的2023版：不在预警名单中 2021年12月发布的2021版：不在预警名单中 2020年12月发布的2020版：不在预警名单中LetPub
期刊官网自述收录
MathSciNetDBLPDOAJ出版商官网
其他：Google Scholar
期刊官网列出的收录清单，未与各数据库逐一核对；Web of Science 各子库以上方记录为准。
不同版本、大类与小类分别展示，不将不同评价口径合并为一个分区值；投稿与考核前请确认所在机构采用的版本。
指标
影响力指标与发文规模
影响力指标
- CiteScore 2026-06
- 1.7LetPub ·
- SJR 2026-06
- 0.11LetPub ·
- SNIP 2026-06
- 0.48LetPub ·
- h-index
- 0OpenAlex ·
- i10-index
- 0OpenAlex ·
- 两年平均被引
- 0OpenAlex ·
- Gold OA 文章占比
- 0%LetPub ·
不同来源的统计口径与观测时间不同，页面保留各来源原值；“出版商公布”为期刊官网自述数据。
审稿与录用
审稿周期与录用情况
- 平均审稿速度（社区反馈）
- 25 WeeksLetPub ·
- 评审方式
- 匿名同行评审LetPub
社区反馈来自投稿者样本，置信度 0.5，不代表期刊承诺；“出版商公布”的时间节点定义以官网为准。
费用与开放获取
版面费与开放获取政策
完全开放获取OpenAlex
所有文章开放获取，通常向作者收取文章处理费（APC）。
| 来源 | 文章处理费 | 费用减免 | 许可证 | 观测时间 |
|---|---|---|---|---|
| LetPub | 无文章处理费 | 无 | — |
费用以期刊官网为准；不同来源的观测时间可能不同，页面保留各来源原值，不做平均。
投稿要求
文章类型与投稿政策（官网）
官网政策摘录出版伦理、许可与版权、开放获取、同行评审
- 出版伦理 Quality Control, Publication Ethics and Publication malpractice
该期刊的伦理声明受COPE行为准则启发，期刊正在申请成为COPE成员；编辑有责任在怀疑存在不当行为或收到不当行为指控时采取行动，这一责任涵盖已发表和未发表的论文，编辑须建立系统管理自身及工作人员、作者、审稿人和编委会成员的利益冲突，并设有处理编辑、员工或成员投稿的流程。 模型中文摘要
The following statement is inspired by COPE Code of Conduct. http://publicationethics.org/files/Code_of_conduct_for_journal_editors.pdf The journal is under review for membership in COPE. Journal editors Editors have a duty to act if they suspect misconduct or if an allegation of misconduct is brought to them. This duty extends to both published and unpublished papers. Editors have a system for ma…
原文 ↗出版商官网 ·- 许可与版权 Copyright Notice
该期刊所有文本的版权和出版权利不受限制地归属于 respective authors（各作者本人），期刊采用知识共享署名3.0未移植许可协议（CC BY 3.0 Unported）授权。 模型中文摘要
Copyrights and publishing rights of all the texts on this journal belong to the respective authors without restrictions. This journal is licensed under a Creative Commons Attribution 3.0 Unported License (full legal code). See also our Open Access policy
原文 ↗出版商官网 ·- 开放获取 Open Access Policy
该期刊提供即时开放获取，基于向公众免费提供研究有助于更广泛的全球知识交流的原则；文章以知识共享署名3.0（CC-BY 3.0）条款发布，允许任何人下载、重用、再版、修改、分发和/或复制文章，但必须正确署名作者，无需向作者或期刊编辑部申请额外许可，尽管恳请使用者告知期刊每一次重用。 模型中文摘要
This journal provides immediate open access to its content on the principle that making research freely available to the public supports a greater global exchange of knowledge. It releases its articles under the terms of Creative Commons Attribution 3.0 (CC-BY 3.0). This license allows anyone to download, reuse, re-print, modify, distribute and/or copy the contributions. The works must be properly…
原文 ↗出版商官网 ·- 同行评审 Peer Review Process
所有论文均经过同行评审；JFR编辑部收到新文章后，会通知作者文章已收到，编辑根据主题相关性、贡献整体质量是否符合期刊标准、是否符合编辑规范等标准进行初步评估，编辑可拒稿并将决定告知作者，作者将在收到文章之日起不迟于15天内获知结果。 模型中文摘要
All papers are subjected to peer review. When JFR editorial board receives a new article, the peer review process will be developed as follows: The editorial board communicates to the author that the article has been received. The editors make an initial assessment of the article according to the following criteria: relevance of the topic; overall quality of the contribution according to the stand…
原文 ↗出版商官网 ·
摘录来自期刊官网页面，仅保留原文片段；“模型摘要”由 Workers AI 生成并经原文校验，以官网为准。
基本信息
出版信息与官方入口
- 出版商
- University of Bologna
- 出版国家或地区
- Italy
- 出版语言
- English
- ISSN
- 1972-5787
- 官网最新一期
- Volume 13, Issue 1（2020 年）
- 官方链接
- 期刊主页 ↗LetPub
- 作者指南 ↗LetPub
- Aims & Scope ↗LetPub
- 评审流程 ↗LetPub
- 编委会 ↗LetPub
常见问题
关于 Journal of Formalized Reasoning 的常见问题
Journal of Formalized Reasoning 的审稿周期多长？
投稿社区反馈的平均审稿速度为约 25 周。文章统计只含被录用的稿件，出版商数据口径以官网为准，社区反馈来自投稿者样本，均不代表期刊承诺。
Journal of Formalized Reasoning 的编委会里有中国学者吗？
期刊官网编委会页面上标注了国家的 16 位编委中，没有中国大陆学者；人数最多的国家是 美国（5 位）、法国（3 位）、英国（2 位）。统计按编委会页面列出的机构国家计，仅供参考。
Journal of Formalized Reasoning 被哪些数据库收录？
据 LetPub 与 DOAJ 记录，Journal of Formalized Reasoning 被 Scopus 收录。期刊官网自述还被 MathSciNet、DBLP、DOAJ 收录，该清单未与各数据库逐一核对。
Journal of Formalized Reasoning 是开放获取期刊吗？版面费多少？
Journal of Formalized Reasoning 为完全开放获取。不收取文章处理费。
来源与更新
本页事实来自 LetPub、OpenAlex、出版商官网；每个数字旁标注来源与观测日期，冲突数据保留各来源原值。LetPub 原始详情页：查看 ↗（2026-08-26 归档）。最近更新：。