RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2014, том 11, страницы 1–17 (Mi semr467)

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

Математическая логика, алгебра и теория чисел

Негативная эквивалентность над минимальной логикой и интерполяция

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

Институт математики им. С. Л. Соболева СО РАН, пр. академика Коптюга 4, 630090, Новосибирск, Россия

Аннотация: It is proved that extensions of the minimal Johansson logic J are negatively equivalent if and only if their centers are equal. It is proved in [1] that the logics with the weak interpolation property WIP are divided into eight intervals with etalon logics on the top. Therefore a logic possesses WIP iff it is negatively equivalent to one of the eight etalon logics. An axiomatization and a semantic characterization are found for WIP-minimal logics, which are the least elements of all eight intervals of logics with WIP. The Craig interpolation property CIP is stated for the most of WIP-minimal logics.

Ключевые слова: minimal logic, negative equivalence, semantic completeness, interpolation.

УДК: 510.6

MSC: 03B45

Поступила 31 мая 2013 г., опубликована 21 января 2014 г.



© МИАН, 2024