Alexander V. Lyaletski. On Admissible Substitutions in Classical and Intuitionistic Sequent Logics. In Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Krzysztof Trojanowski, editors, Intelligent Information Processing and Web Mining, Proceedings of the International IIS: IIPWM 04 Conference held in Zakopane, Poland, May 17-20, 2004. Advances in Soft Computing, pages 49-58, Springer, 2004.
Abstract is missing.