Белнап Н. Д. Интенсиональные модели для формул первой ступени / Белнап Н. Д.; перевод А. Л. Никифорова // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 325-362.Отраслевые рубрики: логика, философские науки Ключевые слова: аксиомы, буквы, ветви, гомоморфизмы, деревья, интенсиональные логики, интенсиональные модели, интенсиональные решетки, истинностный фильтр, кванторы, критические модели, логические системы, модельные системы, последовательности, предикаты, пропозициональные переменные, теория суждений, формулы первой степени
|