E. Jerabek, “Admissible Rules of Lukasiewicz Logic”, Journal of Logic and Computation, 20, no. 2, 2010, 425
Philippe Balbiani, 11600, Logic and Its Applications, 2019, 1
Frank Wolter, Michael Zakharyaschev, “Undecidability of the unification and admissibility problems for modal and description logics”, ACM Trans. Comput. Logic, 9, no. 4, 2008, 1
Philippe Balbiani, Çiğdem Gencer, “Undecidability of admissibility in the product of two Alt logics”, Logic Journal of the IGPL, 2023, jzad021
Emil Jeřábek, “Complexity of admissible rules”, Arch. Math. Logic, 46, no. 2, 2007, 73
Rosalie Iemhoff, “A Syntactic Approach to Unification in Transitive Reflexive Modal Logics”, Notre Dame J. Formal Logic, 57, no. 2, 2016
Curtis Franks, “The Deduction Theorem (Before and After Herbrand)”, History and Philosophy of Logic, 42, no. 2, 2021, 129
M. Zakharyaschev, F. Wolter, A. Chagrov, Handbook of Philosophical Logic, 2001, 83
James G. Raftery, “Admissible Rules and the Leibniz Hierarchy”, Notre Dame J. Formal Logic, 57, no. 4, 2016
Emil Jeřábek, “Canonical rules”, J. symb. log., 74, no. 4, 2009, 1171