RUSU, Andrei; RUSU, Elena
("VALINEX" SRL, 2016)
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 ...