Title: An algorithm for inferring multivalued dependencies that works also for a subclass of propositional logic
Subjects: Data processing, Many-valued logic, Propositional calculus