Rn-категории для релевантных логик.

Abstract

В работе предложена теоретико-категорная семантика для релевантных логик. Основной категорной конструкцией при этом являются RN-категории, сснованные, одной стороны, на понятии п-категории, предложенной А.Рискосол и Л.М.Лайтой [з], а с другой - на понятии резидуала в алгебраических моделях. Анализ семитических аспектов релевантных логик проводится на основе понятий стримплы и стримпланы, предложенных Л. Л. Максиловой [2 ].