Alex Citkin, 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
Curtis Franks, “The Context of Inference”, History and Philosophy of Logic, 39, № 4, 2018, 365
Vladimir A. Uspensky, Logic and Scientific Methods, 1997, 457
E. Jerabek, “Bases of Admissible Rules of Lukasiewicz Logic”, Journal of Logic and Computation, 20, № 6, 2010, 1149
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
Rosalie Iemhoff, 8984, Logic, Language, and Computation, 2015, 10
Rosalie Iemhoff, “On Rules”, J Philos Logic, 44, № 6, 2015, 697