Algebraic and logical study of constructive processes in knowledge representation