Л. Л. Максимова, Е. Орловска, “Свойство Бета и интерполяция в алгебрах и логиках, основанных на решётках”, Алгебра и логика, 2008, том 47, номер 3,страницы 307

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

Свойство Бета и интерполяция в алгебрах и логиках, основанных на решётках

Л. Л. Максимова^ab, Е. Орловска^c

^a Институт математики им. С. Л. Соболева СО РАН
^b Новосибирский государственный университет
^c National Institute of Telecommunications

Аннотация: Исследуются логики, основанные на решётках с дополнительной одноместной операцией. Соотношения различных вариантов интерполяции, свойства Бета, амальгамируемости в модальных логиках и многообразиях модальных алгебр, суперинтуиционистских логиках и многообразиях гейтинговых алгебр, позитивных логиках и многообразиях импликативных решёток изучались во многих работах. Иногда эти отношения переносятся, а иногда не переносятся на рассматриваемые логики без импликации.

Ключевые слова: cвойство Бета, интерполяция, логика без импликации.

УДК: 510.64

Поступило: 02.04.2007