Орло́в Ива́н Ефи́мович (1886–1936), русский советский логик и философ, родоначальник современных направлений релевантной и субструктурной логики. В статье «Исчисление совместности предложений» (1928) описал особую логику естествознания, совпадающую с теорией познания и диалектикой. В ней он построил первую систему релевантной логики, предложил её аксиоматизацию, а также связал интуиционистскую логику с модальной и интерпретировал её в терминах логики доказуемости. Субструктурная логика позволяет обобщить все эти типы логических систем.
Аннотация