|
Вестник Московского университета. Серия 1: Математика. Механика, 2001, номер 4, страницы 47–50
(Mi vmumm1495)
|
|
|
|
Краткие сообщения
Линейные модальности в минимальной логике
Е. Е. Золин
Аннотация:
Доказано, что в минимальной модальной логике любая линейная модальность (т.е. конечная последовательность
операторов отрицания $\neg$ и необходимости $\square$) , содержащая хотя бы одно вхождение $\square$, подчиняется
тем и только тем законам, что и оператор $\square$.
Библиогр. 5.
Поступила в редакцию: 18.10.2000
Образец цитирования:
Е. Е. Золин, “Линейные модальности в минимальной логике”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2001, № 4, 47–50
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vmumm1495 https://www.mathnet.ru/rus/vmumm/y2001/i4/p47
|
Статистика просмотров: |
Страница аннотации: | 35 | PDF полного текста: | 10 |
|