Computing sets of graded attribute implications with witnessed non-redundancy

Open in new window