The present paper describes the architecture of a software for computer aided knowledge discovery dealing with the problems of functional expressibility of formulas in a nonstandard propositional logic. The achieved system ...