|
Алгебра и логика, 2008, том 47, номер 3, страницы 307–334
(Mi al361)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Свойство Бета и интерполяция в алгебрах и логиках, основанных на решётках
Л. Л. Максимоваab, Е. Орловскаc a Институт математики им. С. Л. Соболева СО РАН
b Новосибирский государственный университет
c National Institute of Telecommunications
Аннотация:
Исследуются логики, основанные на решётках с дополнительной одноместной операцией. Соотношения различных вариантов интерполяции, свойства Бета, амальгамируемости в модальных логиках и многообразиях модальных алгебр, суперинтуиционистских логиках и многообразиях гейтинговых алгебр, позитивных логиках и многообразиях импликативных решёток изучались во многих работах. Иногда эти отношения переносятся, а иногда не переносятся на рассматриваемые логики без импликации.
Ключевые слова:
cвойство Бета, интерполяция, логика без импликации.
Поступило: 02.04.2007
Образец цитирования:
Л. Л. Максимова, Е. Орловска, “Свойство Бета и интерполяция в алгебрах и логиках, основанных на решётках”, Алгебра и логика, 47:3 (2008), 307–334; Algebra and Logic, 47:3 (2008), 176–192
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al361 https://www.mathnet.ru/rus/al/v47/i3/p307
|
Статистика просмотров: |
Страница аннотации: | 268 | PDF полного текста: | 82 | Список литературы: | 38 | Первая страница: | 6 |
|