Модель формальной теории в виде коммутативной полугруппы образных конструкций

Abstract

First-order formal theory assuming model building in the form of commutative semigroup of language images constructions is developed. Theorems providing base functions which maintain dialog limited by language image concept are formed and proved on the basis of 15 axioms.