Шрамко Я. В. Логическое следование и интуиционизм (проблема релевантизации интуиционистской логики)

Объект исследования: Интуиционистская логика с точки зрения устранения парадоксов логического следования и импликации. Цель исследования: Построение общей теории релевантного интуиционистского следования. Методы исследования и аппаратура: Теоретико-модельный метод, метод релевантизации. Теоретические результаты и новизна: Впервые создана комплексная теория релевантного логического следования. Практические результаты и новизна: Для развития непарадоксальных конструктивных научных теорий. Предмет и степень внедрения: Опубликованы монографии, ряд научных работ. Эффективность внедрения: Позволит стимулировать развитие конструктивных теорий с непарадоксальным следованием. Сфера (область) использования: Неклассическая логика.