| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
Course "Substructural Logics" by S.L. Kuznetsov and T.G. Pshenitsyn
|
|||
|
|
|||
|
Lecture 3. PSPACE-hardness of logics between FL and Int. Cut elimination theorem S. L. Kuznetsov, T. G. Pshenitsyn |
|||
|
|
|||