On canonical formulas for extensions of minimal logic. Stukacheva, M.V. — 2006 Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]