Логика доказуемости и доказуемостно-интуиционистская логика Муравицкий, Алексей Юрьевич

Короткий опис

Муравицкий, Алексей Юрьевич.
Логика доказуемости и доказуемостно-интуиционистская логика : диссертация ... кандидата физико-математических наук : 01.01.06. - Кишинев, 1985. - 109 с.
Оглавление диссертациикандидат физико-математических наук Муравицкий, Алексей Юрьевич
Введение
ГЛАВА I. ЛОГИКА ДОКАЗУЕМОСТИ
§ I. Интуиционистская логика как фрагмент логики доказуемости
§ 2. О расширениях логики доказуемости.
§ 4. Класс 21 Д магариевых алгебр
ГЛАВА 2. ВОПРОСЫ МОДЕЛЙРУЕМОСТИ Д0КАЗУЕМ0СТН0-ИНТУИ
ЦИОНИСТСКОЙ ЛОГИКИ.
§ I. Определимость доказуемостно-интуиционистской логики классом конечных шкал
§ 2. Немоделируемое расширение доказуемостно-интуиционистской логики.
ГЛАВА 3. СООТВЕТСТВИЕ РАСШИРЕНИЙ ЛОГИКИ ДОКАЗУЕМОСТИ РАСШИРЕНИЯМ ДОКАЗУЕМОСТНО-ИНТУИЦИОНИСТСКОЙ
ЛОГИКИ.
§ I. Предварительные замечания о свойствах решеток и £1А.
§ 2. Алгебраическая семантика
§ 3. Изоморфизм решеток ^tG и
§ 4. Другие функториальные свойства изоморфизмар
ГЛАВА 4. СУПЕРИНТУИЦИОНИСТСКИЕ ЛОГИКИ,АППРОКСИМИРУЕМЫЕ
АЛГЕБРАМИ С ОБРЫВОМ УБЫВАЮЩИХ ЦЕПЕЙ
§ I. Предварительные замечания
§ 2. Реляционная семантика