DOI

Переведенное названиеMODAL COMPANIONS FOR THE SPECIAL EXTENSIONS OF NELSON'S CONSTRUCTIVE LOGIC
Язык оригиналарусский
Страницы (с-по)344-364
ЖурналМатематические заметки
Том117
Номер выпуска3
DOI
СостояниеОпубликовано - 2025

    Предметные области OECD FOS+WOS

  • 1.01 МАТЕМАТИКА

    Области исследований

  • СИЛЬНОЕ ОТРИЦАНИЕ, ЛОГИКА НЕЛЬСОНА, БЕЛНАПОВСКАЯ МОДАЛЬНАЯ ЛОГИКА, РЕШЕТКА ЛОГИК, МОДАЛЬНЫЙ НАПАРНИК, ТВИСТ-СТРУКТУРА

ID: 74482780