Алгебра и логика,
2014, том 53, номер 6, страницы 770–775
(Mi al666)
|
Сообщения
Ряд модальных операторов над интуиционистской логикой
С. А. Дробышевичab a Новосибирский гос. ун-т, ул. Пирогова, 2, г. Новосибирск, 630090, РОССИЯ
b Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
Аннотация:
Представлено Программным комитетом конференции “Мальцевские чтения”.
УДК:
510.643 Поступило: 21.11.2014
© , 2024