А. Д. Яшин, “Модифицированная окрестностная семантика для логики Каминского”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1998, номер 2,страницы 8

Эта публикация цитируется в 1 статье

Математика

Модифицированная окрестностная семантика для логики Каминского

А. Д. Яшин

Аннотация: С помощью упрощенного варианта окрестностной семантики доказывается финитная аппроксимируемость так называемой логики Каминского, формализующей интуиционистскую пропозициональную логику с оператором сильного будущего времени.
Библиогр. 6.

УДК: 517.12

Поступила в редакцию: 08.12.1995