keywords semiring theory; semiring-valued extensions of fca; fuzzy implications; residuation; philosophical foundations