Континуальность множества максимальных суперинтуиционистских логик со свойством дизъюнктивности

Логика $L$ обладает свойством дизъюнктивности (СД), если из $L\vdash A\vee B$ следует $L\vdash A$ или $L\vdash B$. Впервые отмеченное в 1933 году К. Гёделем для интуиционистской логики (Int), это свойство активно исследуется для суперинтуиционистских логик. Решен вопрос о числе максимальных логик с СД. Доказана следующая
ТЕОРЕМА. Во множестве логик, обладающих СД, имеется континуум максимальных по включению элементов.
Библиогр. 5 назв.