Vladimir V. Rybakov. Intermediate Logics Preserving Admissible Inference Rules of Heyting Calculus. Math. Log. Q., 39:403-415, 1993.
@article{Rybakov93, title = {Intermediate Logics Preserving Admissible Inference Rules of Heyting Calculus}, author = {Vladimir V. Rybakov}, year = {1993}, tags = {rule-based, rules, logic}, researchr = {https://researchr.org/publication/Rybakov93}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {39}, pages = {403-415}, }