- E. Jerabek, “Admissible Rules of Lukasiewicz Logic”, Journal of Logic and Computation, 20, № 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, № 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, № 2, 2007, 73
- Rosalie Iemhoff, “A Syntactic Approach to Unification in Transitive Reflexive Modal Logics”, Notre Dame J. Formal Logic, 57, № 2, 2016
- Curtis Franks, “The Deduction Theorem (Before and After Herbrand)”, History and Philosophy of Logic, 42, № 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, № 4, 2016
- Emil Jeřábek, “Canonical rules”, J. symb. log., 74, № 4, 2009, 1171