Аннотации:
На основе сравнения логики классической опровержимости Карри и модальной логики Лукасевича предложено обобщения понятия отрицания как сведения к унарному оператору абсурдности. Исследована возможность представления в таком виде отрицания в таких известных системах паранепротиворечивой логики как логика Батенса CLuN и максимальная паранепротиворечивая логика Сета P^1.