Интуиционистские логические связки на линейных структурах

Рассматривается элементарная теория линейных моделей Крипке в языке с двуместным предикатом $\le$, константой $o$ для корня модели, одноместными предикатами (пропозициональными буквами). Аксиомы — линейный порядок с корнем и монотонность пропозициональных букв. Определяется понятие подобия моделей и на его основе — понятие логической связки как формулы с одной свободной переменной, удовлетворяющей условиям монотонности, релятивизованности и устойчивости относительно подобия моделей. Доказывается, что логическими связками являются интерпретации пропозициональных формул, построенных с помощью связок $\lor$, $\&$, $\supset$, $\neg$, $G$ («везде выше»), и только они. Библ. 9 назв.