Goudsmit, Jeroen P. Decidability of admissibility: on a problem by Friedman and its solution by Rybakov. (English) Zbl 07379165 Bull. Symb. Log. 27, No. 1, 1-38 (2021). MSC: 03B20 03B22 03B55 PDFBibTeX XMLCite \textit{J. P. Goudsmit}, Bull. Symb. Log. 27, No. 1, 1--38 (2021; Zbl 07379165) Full Text: DOI
Iemhoff, Rosalie On rules. (English) Zbl 1336.03037 J. Philos. Log. 44, No. 6, 697-711 (2015). MSC: 03B55 03B45 PDFBibTeX XMLCite \textit{R. Iemhoff}, J. Philos. Log. 44, No. 6, 697--711 (2015; Zbl 1336.03037) Full Text: DOI