G. E. Mints, “Cut-free calculi of the <nobr>$S5$</nobr>-type”, Zap. Nauchn. Sem. LOMI, 1968, Volume 8,Pages <nobr>166–174</nobr>

RUS ENG

JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive

Zap. Nauchn. Sem. LOMI, 1968 Volume 8, Pages 166–174 (Mi znsl2259)

Cut-free calculi of the $S5$-type

G. E. Mints

Fulltext: PDF file (386 kB)

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025