Аннотация:
1. Интуиционистские шкалы и модели Крипке.
2. Интуиционистская истинность и общезначимость.
3. Связь интуиционистской и модальной истинности (общезначимости).
4. Корректность предикатной семантики Крипке для суперинтуиционистских логик Q𝚲.
5. Интуиционистская формула постоянных областей (CD).
Обратная связь: