Abstract

Łu logic plays a fundamental role among many-valued logics. However, the expressive power of this logic is restricted to piecewise linear functions. In this paper we enrich the language of Łu logic by adding a new connective which expresses multiplication. The resulting logic, PŁ, is defined, developed, and put into the context of other well-known many-valued logics. We also deal with several extensions of this propositional logic. A predicate version of PŁ logic is introduced and developed too