Вложения импликативных решеток и суперинтуиционистские логики

Доказано, что для любой табличной суперинтуиционистской логики $L$, содержащей логику $KC$ слабого закона исключенного третьего, найдутся континуальные семейства предлокально-табличных $\{L_\alpha\mid \alpha\in I\}$ и финитно-предаппроксимируемых $\{M_\alpha\mid \alpha\in I\}$ логик такие, что $KC\subset M_\alpha\subset L_\alpha\subset L$ для всех $\alpha\in I$. Для доказательства этого результата разработана конструкция, с помощью которой показано, что любая конечно-порожденная импликативная решетка изоморфно вкладывается в подходящую двупорожденную импликативную решетку в виде верхнего интервала.