Product Ł ukasiewicz Logic
Product Ł ukasiewicz Logic
复制标题
产品逻辑
DOI：
10.1007/s00153-004-0214-6
复制
发表时间：
2004
影响因子：
0.3
通讯作者：
Petr Cintula
中科院分区：
文献类型：
--
作者：
Rostislav Horcík;Petr Cintula
摘要。Łu逻辑在多值逻辑中起着基础性的作用。然而，这种逻辑的表达能力仅限于分段线性函数。本文通过增加一个表示乘法的连接词，丰富了Łu逻辑语言。由此产生的逻辑PŁ被定义、开发并放到其他众所周知的多值逻辑的上下文中。我们也处理这个命题逻辑的几个扩展。介绍并开发了PŁ逻辑的谓词版本。
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.