@article{ZNSL_2009_373_a19, author = {A. El Khoury and S. Soloviev and L. Mehats and M. Spivakovsky}, title = {Categorical interpretation of logical derivations and some its applications to algebra}, journal = {Zapiski Nauchnykh Seminarov POMI}, pages = {318--344}, publisher = {mathdoc}, volume = {373}, year = {2009}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/ZNSL_2009_373_a19/} }