ТЕОРИЯ ТИПОВ МАРТИНА-ЛЁФА КАК МУЛЬТИАГЕНТНАЯ ФОРМАЛЬНАЯ ЭПИСТЕМИЧЕСКАЯ СИСТЕМА

Аннотация

Ранта безосновательно называет произвольные подстановки переменных из одних контекстов ТТМЛ в другие “расширениями контекстов”, предполагая при этом, что контексты всегда формируют частичный порядок. Однако хорошо известно, что это не так: в общем случае категория контекстов ТТМЛ представляет собой локально декартово замкнутую категорию. Поэтому предложенное Домановым понимание таких подстановок как взаимных интерпретаций знаний, относящихся к различными эпистемическими агентам, является более адекватным. Предложенный Домановым анализ может быть усовершенствован, если эта точка зрения будет проведена более последовательно, чем это сделал Доманов в обсуждаемой статье.