Open Access Formal proof Journals

A list of Open Access Formal proof journals for you to publish your manuscript in

Formal proof is establishment of a theorem using inference from the axioms

All articles published in Open Access journals have undergone peer review and upon acceptance are immediately and permanently free for everyone to read and download.

Hopefully this list of Formal proof Open Access journals will make it easier for you to decide where to publish your Formal proof manuscript.
Our list includes all the high-impact factor Formal proof journals that may be relevant to your field of study. In any case, we've also included other journals that may also offer more affordable publishing fees.Instead of displaying the most commonly known Formal proof journals, we have made an exhaustive list of open accesss Formal proof journals. Use our different columns — number of papers, number of citations, and relevance — to find the best Formal proof venue for your manuscript.

The DOAJ columns refers to the The Directory of Open Access Journals, a list of open access journals, maintained by Infrastructure Services for Open Access.
There are certain criteria a journal must meet to be indexed by DOAJ, and thus inclusion in the DOAJ index is seen by scholars as a mark of quality.


All the open access Formal proof journals in this list are indexed in OA.mg.
If you spot any mistakes in this table of Formal proof OA journals, don’t hesitate to send us an email.

Open Access Formal proof Journals
NameISSNDOAJPublisherNo. of PapersCitationsRelevanceWebsite
Page 1 of 0

Frequently Asked Questions

Where can I publish my Formal proof paper?
You can publish your Formal proof paper in the Open Access journals in this list
What is Open Access (OA)?
Open Access refers to free access to information and unrestricted use of electronic resources for everyone. Any kind of digital content can be open access, from texts and data to software, audio, and video.
What does “relevance” mean in the table?
If a journal has a relevance of “100”, that means that the journal is fully related to the concept it is listed under. If, on the other hand, a journal has a relevance of “0”, that means that the journal doesn’t have any relation to the topic it is listed under. So Nutrition might have a low relevance when included in Open Computer Science Journals
How do you count total number of citations?
The citations show how often works from this journal are referenced in other research papers. This data is obtained from OpenAlex. Even though the accuracy is debatable, it could help you determine how prestigious a journal is on the whole.
Where can I find other lists like this one?
If you are looking for an author or journal article, you can type it in the name, title, or DOI in the search box above to see more results. If you want to see a similar list to this one, take a look on OA.mg
How can I publish my paper on OA.mg?
At the moment, we do not offer publishing services, that's why we made these lists, so you can find the right journal to publish your paper in. Our goal with OA.mg is to help disseminate research.
What is an APC?
In some cases, articles published in journals are made open access and freely available online, immediately upon publication. This is made usually made possible by an article-processing charge (APC) that covers the range of publishing services provided.
What are the different Open Access types?
Although there are Gold, Green, Hybrid, Bronze, Diamond, and Black Open Access licenses, here are the most common ones: Full Gold Open Access: article is freely and permanently accessible for everyone, immediately after publication. Hybrid Open Access: refers to a publishing model in which subscription-based journals allow authors to make individual articles gold open access immediately on payment of an article publication charge. Green Open Access: refers to the possibility to make subscription-based journal articles open access by uploading the peer-reviewed and accepted author manuscript to an institutional repository (such as DiVA)