E. Jerabek, “Admissible Rules of Lukasiewicz Logic”, Journal of Logic and Computation, 20:2 (2010), 425
E. Jerabek, “Bases of Admissible Rules of Lukasiewicz Logic”, Journal of Logic and Computation, 20:6 (2010), 1149
Emil Jeřábek, “Canonical rules”, J. symb. log., 74:4 (2009), 1171
Frank Wolter, Michael Zakharyaschev, “Undecidability of the unification and admissibility problems for modal and description logics”, ACM Trans. Comput. Logic, 9:4 (2008), 1
Emil Jeřábek, “Complexity of admissible rules”, Arch. Math. Logic, 46:2 (2007), 73
V. Rybakov, “Multi-modal and Temporal Logics with Universal Formula–Reduction of Admissibility to Validity and Unification”, Journal of Logic and Computation, 18:4 (2007), 509
M. Zakharyaschev, F. Wolter, A. Chagrov, Handbook of Philosophical Logic, 2001, 83
Vladimir A. Uspensky, Logic and Scientific Methods, 1997, 457