Авторы книги исследуют различные способы формализации логического вывода, разрабатывают технику натурального вывода, предлагают новые методы установления выводимости и невыводимости для широкого класса логических систем. Значительное внимание уделено проблемам вывода в интуиционистской, модальной, временной и релевантной логиках. Это и многое другое вы найдете в книге Логический вывод (Смирнов Владимир Александрович)