Решетка расширений минимальной логики

Настоящая работа содержит систематическое изложение результатов о строении решетки расширений минимальной логики Lj, паранепротиворечивого аналога интуиционистской логики Li. В отличие от хорошо изученных классов избыточных логик класс расширений минимальной логики имеет интересную глобальную структуру. Он представляет собой дизъюнктное объединение класса промежуточных логик Int, класса негативных логик Neg, имеющих вырожденное отрицание, и класса собственно паранепротиворечивых расширений минимальной логики Par. Классы Int и Neg хорошо изучены, а изучение класса Par в определенной степени может быть сведено к классам Int и Neg.