In years 2023-2024: Formalized Mathematics was financed under agreement RCN/SP/0479/2021/1
with the funds from the Polish Minister of Education and Science for the development of scientific journals.
In years 2016-2017: Formalized Mathematics was financed under agreement 548/P-DUN/2016
with the funds from the Polish Minister of Science and Higher Education for the dissemination of science.
In years: 1995 - 1997 financed by Office of Naval Research Project (USA).

Papers accepted for publication which have not been published yet - during the process of proof-read by Authors.

The most recently submitted article is listed last.

Formalized Mathematics, 2026 - Open Volume 34, Issue 1

  1. SUSZKO_1,          {S}uszko's Non-{F}regean Logics. {P}art 1, Taneli Huuskonen.
  2. GALOIS_3,          {T}he {G}alois Connection between IntermediateFields(E,F) and Subgroups of Aut(E,F), Christoph Schwarzweller.
  3. GALOIS_4,          {T}he Fundamental Theorem of {G}alois Theory, Christoph Schwarzweller.