TY - RPRT TI - The logic with unsharp implication and negation AU - Ivan Chajda AU - Helmut Länger PY - 2023 UR - https://arxiv.org/abs/2301.02205 ID - 2301.02205 ER -