This article is cited in 3 papers

Bases of admissible rules for $K$-saturated logics

V. V. Rimatskii

Siberian Federal University, Institute of Architecture and Construction

Abstract: Admissible inference rules for table modal and superintuitionistic logics are investigated. $K$-saturated logics are defined semantically. Such logics are proved to have finite bases for admissible inference rules in finitely many variables.

Keywords: admissible inference rules, basis for admissible inference rules, table modal logic, superintuitionistic logic.

UDC: 510.643

Received: 15.04.2002
Revised: 07.03.2007

 English version: Algebra and Logic, 2008, 47:6, 420–425

Bibliographic databases:

• 
• 
• 
•