Содержание (FireFox,Safari)
24.9. Семантический треугольник языка И-ЛИБО систем
При очерчивании предметной области было предложено основным объектом исследования сделать языковую составляющую семантического треугольника, то есть, правила образования (корректных) формул.
Традиционно в математике корректная формула - это та, которая имеет "значение", чему здесь соответствует "конструкция".
Но этого мало - теперь "корректная формула" должна иметь ещё и "смысл", здесь оределяемый "поведением".
