Independent Bases of Admissible Rules

We show that IPC, K4, GL, and S4, as well as all logics inheriting their admissible rules, have independent bases of admissible rules. Key words: admissible rule, independent basis, modal logic, intuitionistic logic MSC (2000): 03B45, 03B55, 08C15

• Type: Journal
• Year: 2008
• Where: IGPL
• Authors: Emil Jerábek
• Keywords: Admissible Rule, IGPL 2008, Intuitionistic Logic Msc, Logic