Попов, В.М. «Секвенциальные аксиоматизации простых паралогик». Логические исследования 160 (апрель 7, 2010): 205-220. просмотрено апрель 6, 2025. https://logicalinvestigations.ru/article/view/353.