Admissible Bases Via Stable Canonical Rules
Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze · Studia Logica · 2016
We establish the dichotomy property for stable canonical multi-conclusion rules for IPC, K4, and S4. This yields an alternative proof of existence of explicit bases of admissible rules for these logics.