Advances in Fuzzy Implication Functions - BaczyÅ"ski (Springer Berlin Heidelberg, 2013)