RUS  ENG
Full version
JOURNALS // Diskretnaya Matematika

Diskr. Mat., 2022, Volume 34, Issue 1, Pages 126–140 (Mi dm1677)

Explicit basis for admissible rules in $K$-saturated tabular logics
V. V. Rimatskii

This publication is cited in the following articles:
  1. V. V. Rimatskii, “Admissible inference rules of modal WCP-logics”, Siberian Math. J., 65:1 (2024), 153–166  mathnet  crossref  crossref
  2. V. V. Rimatskii, “Globalno dopustimye pravila vyvoda”, Izvestiya Irkutskogo gosudarstvennogo universiteta. Seriya Matematika, 42 (2022), 138–160  mathnet  crossref  mathscinet


© Steklov Math. Inst. of RAS, 2026