Нефундированные выводы для логики Go

Логика Go или слабая логика Гжегорчика является иррефлексивным вариантом логики Гжегорчика. Удаление сечения в этой логики классическими методами является технически сложной задачей. На докладе будет рассказано о том, как применить для этой задачи новый метод устранения сечения, использующий нефундированные выводы и хорошо зарекомендовавший себя в других логиках.