В книге помещены статьи по проблемам теории логического следования, в которых анализируются роль и место этой теории в современной логике, философии и методологии науки, рассматриваются проблемы общей теории дедукции, теории кванторов, логики классов, модальной логики, логики пространственно-временных отношений. Авторы критически анализируют имеющиеся в логической литературе исчисления по данным вопросам и предлагают для их решения свои оригинальные логические системы.