УДК 510.6

Континуальность решетки расширений модальной логики двух отношений эквивалентности / М. М. Измайлов. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2011. № 4. С. 46-48.

В статье строится континуум различных логик над SS5, что доказывает тот факт, что мощность решетки расширений логики двух отношений эквивалентности Ext(SS5) является континуумом.

Ключевые слова: модальная логика, соединение логик, расширения логик, логика отношения эквивалентности.

Библиогр. 2.

К оглавлению номера  Go!