ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ МИНИМАЛЬНОЕ, логика минимальная

— исчисление высказываний, отличающееся от интуиционистского (см. Интуиционизм) тем, что в нем отсутствует аксиома

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

Лит.: Янков В. А. О расширении интуиционистского пропозиционального исчисления до классического и минимального — до интуиционистского. «Известия АН СССР. Серия математическая», 1968, т. 32, № 1; Johansson I. Der Minimalkalkfll, eln reduzierter intuitionistischer Formalismus. «Compo-sitio Mathematical 1936, v. 4, fasciculus 1.

К. П. Вершинин.