RUS  ENG
Full version
JOURNALS // Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports] // Archive
Sib. Èlektron. Mat. Izv., 2006 Volume 3, Pages 312–334 (Mi semr207)
This article is cited in 3 papers

Research papers

On canonical formulas for the extensions of minimal logic

M. V. Stukacheva

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences

Abstract: We introduce a canonical formulas for the extensions of minimal logic.

UDC: 510.64

MSC: 03B53

Received June 25, 2006, published August 25, 2006



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024