Admissible Bases Via Stable Canonical Rules
AbstractWe 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.