Issues on adjointness in multiple-valued logics (Q2509225)

The paper deals with relating conjunctions to implications using adjointness in \((L,P)\)-valued logic, where \((L,\leq)\) and \((P,\leq)\) are complete lattices, interpreting two types of truth values. The paper starts with a synopsis of the basic results on the notion of residuation (= adjointness). This notion is used to enlarged the scope of choice of connectives in Zadeh's compositional rule of inference. New characterizations are given of implications that distinguish left arguments, implications that satisfy the exchange principle, divisible conjunctions, commutative conjunctions, associative conjunctions and triangular norms. Pseudo-strict and pseudo-continuous implications and conjunctions are introduced and the close relationship between these notions are explored.