Informational Semantics, Non-deterministic Matrices and Feasible Deduction