This article is cited in 2 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.

UDC: 510.643+517.11

Received: 02.10.2021

DOI: 10.4213/dm1677

 English version: Discrete Mathematics and Applications, 2023, 33:2, 105–115

Bibliographic databases:

• 
•