|
This article is cited in 3 scientific papers (total in 3 papers)
Explicit basis for admissible rules in $K$-saturated tabular logics
V. V. Rimatskii Siberian Federal University, Krasnoyarsk
Abstract:
We construct an explicit finite basis for admissible rules in $K$-saturated tabular logics that extend the logic $Grz$.
Keywords:
Kripke frame (model), admissible inference rule, basis admissible rules.
Received: 02.10.2021
Citation:
V. V. Rimatskii, “Explicit basis for admissible rules in $K$-saturated tabular logics”, Diskr. Mat., 34:1 (2022), 126–140; Discrete Math. Appl., 33:2 (2023), 105–115
Linking options:
https://www.mathnet.ru/eng/dm1677https://doi.org/10.4213/dm1677 https://www.mathnet.ru/eng/dm/v34/i1/p126
|
Statistics & downloads: |
Abstract page: | 216 | Full-text PDF : | 26 | References: | 36 | First page: | 6 |
|