论文标题
限制的推论和派友派规则
Restricted Rules of Inference and Paraconsistency
论文作者
论文摘要
在本文中，我们研究了两个逻辑的同伴，即，左变量包含伴侣和受限的规则伴侣，其性质和相互关系，尤其是与paracissistency有关。还证明了两个同伴重合的足够条件。这里介绍了两个新的逻辑系统 - 直觉paracisistist弱的弱kleen逻辑（IPWK）和paraconsistent Pre -Rough Logic（PPRL） - 作为左变量包含的逻辑的示例。 IPWK是直觉命题逻辑（IPC）的左变量包含伴侣，也是其限制规则伴侣。另一方面，PPRL是前逻辑逻辑（PRL）的左变量包含伴侣，但与受限规则的伴侣有所不同。我们已经根据Płonka总和讨论了这些逻辑的代数语义。这是旨在表示旨在表示不确定性状态的污染真实价值的构成。
In this paper, we study two companions to a logic, viz., the left variable inclusion companion and the restricted rules companion, their nature and interrelations, especially in connection with paraconsistency. A sufficient condition for the two companions to coincide has also been proved. Two new logical systems - Intuitionistic Paraconsistent Weak Kleene logic (IPWK) and Paraconsistent Pre-Rough logic (PPRL) - are presented here as examples of logics of left variable inclusion. IPWK is the left variable inclusion companion of Intuitionistic Propositional logic (IPC) and is also the restricted rules companion of it. PPRL, on the other hand, is the left variable inclusion companion of Pre-Rough logic (PRL) but differs from the restricted rules companion of it. We have discussed algebraic semantics for these logics in terms of Płonka sums. This amounts to introducing a contaminating truth value, intended to denote a state of indeterminacy.
