The Mathematical Morpho-Logical View on Reasoning about