Ступенчатая Семантическая Система
вариант конструктивной семантики, предложенный А. А. Марковым (см. [2], [3]). Основное внимание при построении этой системы уделяется одной из проблем семантики - конструктивному истолкованию импликации. Традиционное интуиционистское разъяснение смысла утверждения состоит в том, что выражает осуществимость конструкции ртакой, что если q - произвольная конструкция, подтверждающая А, то ри gв совокупности позволяют отыскать конструкцию, подтверждающую В. Приведенное неформальное разъяснение по ряду причин плохо поддается уточнению. Идея А. А. Маркова состоит в том, что импликация рассматривается как формулировка утверждения о выводимости Виз посылки Асредствами нек-рой теории с правилом бесконечной индукции (полуформальной теории).
При этом рассматриваемая полуформальная теория, так же как и семантика формул Аи В, должна быть объяснена ранее на нек-ром предыдущем этапе построения. В результате возникает С. С. С., в к-рой смысл формул следующей ступени определяется в терминах объектов предыдущей ступени. А. А. Марков построил два эквивалентных варианта С. С. С.- лдлинная башня.
Дополнительный поиск Ступенчатая Семантическая Система
На нашем сайте Вы найдете значение "Ступенчатая Семантическая Система" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Ступенчатая Семантическая Система, различные варианты толкований, скрытый смысл.
Первая буква "С". Общая длина 33 символа