О допустимых правилах интуиционистской логики высказываний

Изучаются модусные правила вывода, допустимые в интуиционистской логике высказываний (правило называется модусным, если оно соответствует некоторой секвенции и позволяет переходить от результатов любой подстановки в формулы, принадлежащие ее антецеденту, к результату той же подстановки в ее сукцедент). Рассматриваются примеры таких правил и выводимость одних правил из других средствами интуиционистского исчисления высказываний. Строится бесконечная независимая система допустимых модусных правил. Доказывается, что конечные геделевы псевдобулевы алгебры, на которых верны все допустимые модусные правила (т.е. верны соответствующие им квазитождества), изоморфны последовательному соединению булевых алгебр мощности не более 4.
Рисунков: 3.
Библиография: 17 названий.