Континуальность решетки расширений модальной логики двух отношений эквивалентности

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

Авторы

Измайлов М.М.

Тэги

модальная логика соединение логик расширения логик логика отношения эквивалентности.

Тематические рубрики

Прикладные науки. Медицина. Технология

Предметные рубрики

Физико-математические науки

В этом же номере:

М. В. Келдыш - ученый, педагог и организатор науки (к столетию со дня рождения), Об одной задаче об оптимальной остановке, связанной с абсолютным максимумом процесса Леви, ...

Резюме по документу**

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

** - вычисляется автоматически, возможны погрешности

Похожие документы:

Похожие документы из РУАЭСТ
|
Похожие документы из Руконт

Континуальность решетки расширений модальной логики двух отношений эквивалентности

Помощь:

Участники: