Аннотация:
Рассматривается модальная логика, связанная с $f$-пространствами, введенными Ю. Л. Ершовым. Строится модальное исчисление, полное относительно класса всех строго линейно упорядоченных $f_0$-шкал и относительно класса всех строго линейно упорядоченных $f$-шкал.
Ключевые слова:модальная логика, $f$-пространство, строго линейно упорядоченная $f$-шкала, строго линейно упорядоченная $f_0$-шкала.
Полный текст:
PDF файл (198 kB)
