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.
    2026
  1. SUSZKO_1,          {S}uszko's Non-{F}regean Logics. {P}art 1, Taneli Huuskonen.