工具书类
[1]洛伦岑P。，操作逻辑和数学中的Einfung，柏林-哥廷根-海德堡，1955年，816页。10.1007/978-3-662-01539-1在谷歌学者中搜索
[2]Friedman H.，“数学逻辑中的102个问题”，J.塞姆。逻辑,40:3 (1975), 113–13010.2307/2271891在谷歌学者中搜索
[3]Rybakov V.V.，“模型系统中规则可接受性的标准S公司4和直觉逻辑𝐻”,代数与逻辑,23:5 (1984), 369–384.2007年10月10日/BF01982031在谷歌学者中搜索
[4]里巴科夫五世。，逻辑推理规则的可接受性，逻辑与发现研究。数学。，V.136.，爱思唯尔科学。Publ，纽约-阿姆斯特丹，1997年，616页。在谷歌学者中搜索
[5]Rimatskii V.V.，“深度2的表模态逻辑的容许推理规则基础”，代数与逻辑,35:5 (1996), 344–349.2007年10月10日/BF02367359在谷歌学者中搜索
[6]Rimatskii V.V.，“可接受规则的基础K（K）-饱和逻辑”，代数与逻辑,47:6 (2008), 420–425.2007年10月10日/10469-008-9033-x在谷歌学者中搜索
[7]Rimatskii V.V.，Lukina O.V.，“表格逻辑发现的可接受规则的明确基础”，维斯特尼克·克拉斯诺亚尔斯克。天哪。un-ta公司2006年，第1期，第68–71页（俄语）。在谷歌学者中搜索
[8]Rimatskii V.V.，“关于宽度为2的模态逻辑可容许性的有限基”，代数与逻辑,38:4 (1999), 436–455.2007年10月10日/BF02671729在谷歌学者中搜索
[9]Rimatskii V.V.，Kiyatkin V.R.，“表前逻辑可容许推理规则的独立基础及其扩展”，同胞。电子。马塞姆。代表.,10（2003），79-89（俄语）。在谷歌学者中搜索
[10]Rybakov V.V.、Terziler M.、Rimatskiy V.V.，“直觉逻辑IPC可容许规则的半冗余形式基础”，数学。逻辑季度,46:2 (2000), 207–218.10.1002/（SICI）1521-3870（200005）46:2<207:：AID-MALQ207>3.0.CO；2-E型在谷歌学者中搜索
[11]Iemhoff R.，“直觉主义命题逻辑的可容许规则”，J.塞姆。逻辑,66:2 (2001), 281–294.10.2307/2694922在谷歌学者中搜索
[12]Rybakov V.V.，“构建模态系统中可接受规则的显式基础S公司4”,数学。物流季度,47:4 (2001), 441–451.10.1002/1521-3870（200111）47:4<441:：AID-MALQ441>3.0.CO；2-J型在谷歌学者中搜索
[13]Rimatskii V.V.，“求有限宽度的容许规则的显式基础”，Zhurnal SFU，爵士。材料。我是菲齐卡2008年，第1期，第85–93页（俄语）。在谷歌学者中搜索
[14]Rybakov V.V.，Terziler M.，Genzer C.，“模态逻辑统一和推理规则的论文”，牛市。第节。日志.,28:3 (1999), 145–157.在谷歌学者中搜索
