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