|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Яшин А. Д. Иррефлексивная модальность как новая логическая связка в логике Даммета //
Том 55 (2014), Номер 1,
стр. 228234
Приводится пример счетного семейства расширений суперинтуиционистской логики Даммета $LC$ в языке с дополнительной одноместной логической связкой, каждое из которых определяет новую логическую связку в $LC$ в смысле П.~С.~Новикова, и каждые две логики из этого семейства несовместимы над $LC$.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|