Библиографическое описание:Rimatsky, Vitaliy. Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow" = Допустимые правила временной нетранзитивной логики с оператором "завтра" / V. V. Rimatsky, O. V. Ganchukova. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2024. - Т. 17, № 3. - С. 347-354. - Библиогр.: с. 353-354. - ISSN 1997-1397.
Аннотация:В статье исследуется нетранзитивная временная логика с оператором "завтра".