Об одном обобщении принципа reductio ad absurdum

На основе сравнения логики классической опровержимости Карри и модальной логики Лукасевича предложено обобщения понятия отрицания как сведения к унарному оператору абсурдности, $\lnot \varphi:=\varphi\supset A(\varphi)$. Исследована возможность представления в таком виде отрицания в таких известных системах паранепротиворечивой логики как логика Батенса $\mathbf{CLuN}$ и максимальная паранепротиворечивая логика Сета $P^1$.