Гибридные расширения минимальной логики

Рассматриваются расширения минимальной логики J Йохансона. Гибридные логики — это расширения пересечения интуиционистской и негативной логик Int и Neg. Показано, что свойства различимости и узнаваемости гибридной логики сводятся к аналогичным свойствам интуиционистского и негативного напарников этой логики. Интерполяционные свойства гибридной логики также сводятся к интерполяционным свойствам ее интуиционистского и негативного напарников. Известно, что в стройных логиках ограниченное интерполяционное свойство IPR и проективное свойство Бета PBP равносильны. Здесь дано более простое доказательство этого факта для гибридных логик.