@ARTICLE{POLNOT_2.MIZ,
  AUTHOR = {Huuskonen, Taneli},
  TITLE = {Extensions of Languages in {P}olish Notation},
  NOTE = {This work has been supported by the National Science Centre of Poland,
   grant number UMO-2017/25/B/HS1/00503.},
  DAY = {23},
  MONTH = {May},
  YEAR = {2025},
  ADDRESS1 = {Tampere\\Finland},
  SUMMARY = {A collection of basic tools for adding new operators to
  a language in Polish notation. A need for this arose while attempting to
  formalize some extensions of Roman Suszko's basic non-Fregean logic SCI,
  namely WB and WH, described in \cite{Suszko:1975}. The formalizations are
  presented in \cite{SUSZKO_1.MIZ} and \cite{SUSZKO_2.MIZ}.}}
