Аннотация:
1. Консервативность минимального предикатного расширения пропозициональной логики. Консервативность других расширений.
2. Перевод Гёделя - Тарского интуиционистских предикатных формул в модальные. Перевод суперинтуиционистских логик в расширения QS4.
3. Суперинтуиционистские фрагменты расширений QS4.
Обратная связь: