Л. Л. Максимова, “Разрешимость слабого интерполяционного свойства над минимальной логикой”, Алгебра и логика, 2011, том 50, номер 2,страницы 152

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

Разрешимость слабого интерполяционного свойства над минимальной логикой

Л. Л. Максимова^ab

^a Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
^b Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ

Аннотация: Даётся описание расширений минимальной логики Йохансона $\mathrm J$ со слабым интерполяционным свойством. Доказывается разрешимость этого свойства над логикой $\mathrm J$.

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

УДК: 510.64

Поступило: 10.03.2010