Главная Новости Оформление статьи Архив Авторы Поиск Вход
Номера
2019: 1
2018: 1 2 3 4 5 6
2017: 1 2 3 4 5 6
2016: 1 2 3 4 5 6
2015: 1 2 3 4 5 6
2014: 1 2 3 4 5 6
2013: 1 2 3 4 5 6
2012: 1 2 3 4 5 6
2011: 1 2 3 4 5 6
2010: 1 2 3 4 5 6
2009: 1 2 3 4 5 6
2008: 1 2 3 4 5 6
2007: 1 2 3 4 5 6
2006: 1 2 3 4 5 6
2005: 1 2 3 4 5 6
2004: 1 2 3 4 5 6
2003: 1 2 3 4 5 6
2002: 1 2 3 4 5 6
2001: 1 2 3 4 5 6
2000: 1 2 3 4 5 6
1999: 1 2 3 4 5 6
1998: 1 2 3 4 5 6
1997: 1 2 3 4 5 6
1996: 1 2 3 4 5 6
1995: 1 2 3 4 5 6
1994: 1 2 3 4 5 6
1993: 1 2 3 4 5 6

СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Максимова Л. Л., Юн В. Ф. Интерполяция над минимальной логикой и интервалы Одинцова // Том 56 (2015), Номер 3, стр. 600–616 
Исследуется интерполяционное свойство Крейга CIP
в расширениях минимальной
логики Йохансона.
Рассматривается классификация  J-логик, предложенная С.~П.~Одинцовым, в~
соответствии с~их интуиционистскими и~негативными напарниками.
При этом все логики
разбиваются на
интервалы.
Доказано, что нижний конец интервала имеет CIP  тогда и~только тогда, когда оба
его напарника имеют   CIP.
Также показана узнаваемость нижних и~верхних концов, которые имеют CIP, и~
найдена их семантическая характеризация.
© Сибирский Математический Журнал, 2003-2006