Карпенко А. Подструктурные логики: гильбертовский подход. // Логические исследования / Logical Investigations. 2001. Т. 8. C. 65-71.