14.24 мб
Теория типов в семантике пропозициональных установок
В статье описывается подход к анализу пропозициональных установок, опирающийся на теоретико-типовую семантику, предложенную А. Ранта и основанную на теории типов П. Мартин-Лёфа.