TY - JOUR
AU1 - Jeřábek, Emil
AB - We show that IPC, K4, GL, and S4, as well as all logics inheriting their admissible rules, have independent bases of admissible rules.
TI - Independent Bases of Admissible Rules
JF - Logic Journal of the IGPL
DO - 10.1093/jigpal/jzn004
DA - 2008-06-01
UR - https://www.deepdyve.com/lp/oxford-university-press/independent-bases-of-admissible-rules-ZzO90LimKw
SP - 249
EP - 267
VL - 16
IS - 3
DP - DeepDyve
ER -