This article is cited in 2 papers

An explicit basis for $WCP$-globally admissible inference rules

V. V. Rimatskii

Siberian Federal University, Krasnoyarsk

Abstract: Inference rules are examined which are admissible immediately in all residually finite extensions of $S4$ possessing the weak cocover property. An explicit basis is found for such $WCP$-globally admissible rules. In case of tabular logics, the basis is finite, and for residually finite extensions, the independency of an explicit basis is proved.

Keywords: Kripke frame, Kripke model, admissible inference rule, basis for admissible rules.

UDC: 510.643:517.11

Received: 31.01.2022
Revised: 31.01.2024

DOI: 10.33048/alglog.2023.62.204

 English version: Algebra and Logic, 2023, 62:2, 148–165