18 citations to https://www.mathnet.ru/eng/al2183
-
Philippe Balbiani, Çiğdem Gencer, “Undecidability of admissibility in the product of two Alt logics”, Logic Journal of the IGPL, 2023
-
Curtis Franks, “The Deduction Theorem (Before and After Herbrand)”, History and Philosophy of Logic, 42:2 (2021), 129
-
Philippe Balbiani, Lecture Notes in Computer Science, 11600, Logic and Its Applications, 2019, 1
-
Curtis Franks, “The Context of Inference”, History and Philosophy of Logic, 39:4 (2018), 365
-
Rosalie Iemhoff, “A Syntactic Approach to Unification in Transitive Reflexive Modal Logics”, Notre Dame J. Formal Logic, 57:2 (2016)
-
James G. Raftery, “Admissible Rules and the Leibniz Hierarchy”, Notre Dame J. Formal Logic, 57:4 (2016)
-
Alex Citkin, Lecture Notes in Computer Science, 9537, Logical Foundations of Computer Science, 2016, 76
-
JOÃO RASGA, CRISTINA SERNADAS, AMÍLCAR SERNADAS, “PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS”, The Review of Symbolic Logic, 9:4 (2016), 641
-
Rosalie Iemhoff, Lecture Notes in Computer Science, 8984, Logic, Language, and Computation, 2015, 10
-
Rosalie Iemhoff, “On Rules”, J Philos Logic, 44:6 (2015), 697