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:
V. V. Rimatskii, “Admissible inference rules of modal WCP-logics”,
Siberian Math. J.
,
65
:1 (2024),
153–166
V. V. Rimatskii, “Globalno dopustimye pravila vyvoda”,
Izvestiya Irkutskogo gosudarstvennogo universiteta. Seriya Matematika
,
42
(2022),
138–160
©
Steklov Math. Inst. of RAS
, 2026