О канонических формулах паранепротиворечивого аналога логики Скотта

Рассматривается применение техники канонических формул на примере паранепротиворечивого аналога $\mathbf{Ls}$ известной промежуточной логики Скотта $\mathbf{SL}$. Определяются канонические формулы, аксиоматизирующие $\mathbf{Ls}$ относительно минимальной логики и позволяющие получить описание всех контрмоделей указанной логики.