Ключевые слова: неклассические логики; семантика; алгоритмические проблемы / nonclassical logics; semantics; algorithmic problems
математическая логика, теория алгоритмов, алгебра, топология, геометрия
mathematical logic, theory of algorithms, algebra, topology, geometry