首页/论文/1810.03437

arXiv 1810.034372018-10math.LO

语言真值命题逻辑中的前件式与后件式

Modus Ponens And Modus Tollens In Linguistic Truth-Valued Propositional Logic

Bithi Chattaraj, Sumita Basu

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文计算了可由格表示的具有语言真假值的命题的前件式和后件式规则的真假值。结果表明，真假值并不总是绝对真的，在某些情况下，真值具有分等级的真假值。

英文摘要：

Truth values of Modus Ponens and Modus Tollens rules for propositions having linguistic truth value that may be represented by lattice(Fig1, Fig2) are computed in this paper. The results show that the truth values are not always absolutely true but have graded truth values in some cases.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

具有限制性肯定前件规则和无限层次矛盾$LP^\#_ω$的次协调一阶逻辑。公理系统$HST^\#_ω$是Hrbacek集合论HST的次协调推广

Paraconsistent First-Order Logic with restricted modus ponens rule and infinite hierarchy levels of contradiction $LP^\#_ω$. Axiomatical system $HST^\#_ω$, as paraconsistent generalization of Hrbacek set theory HST

本文提出了具有限制性肯定前件规则和无限层次矛盾的次协调一阶逻辑LP^{#}_ω。讨论了相应的次协调集合论KSth^{#}_ω，并将公理系统HST^{#}_ω作为Hrbacek集合论HST的次协调推广.

2022-02-15math.LO

没有前件推理的证明：组合学和割消的复杂性介绍

Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination

本文的目的是提供一个介绍削减消除，这是一个广泛的数学观众。根岑的割消定理并不像它应有的那样广为人知，它与许多有趣的数学结构联系在一起。特别是，我们试图表明一些动态和组合方面的削减消除，以及其连接到复杂性理论。我们讨论了两个具体的例子，其中一个可以看到的结构与削减，一个关于可行的数字和其他有关“有界平均振荡”从实分析的简短证明。

1996-07-05math.LO

满足GMP规则的聚集函数近似推理

Approximate reasoning with aggregation functions satisfying GMP rules

为了增强模糊肯定前件（FMP）和模糊否定前件（FMT）问题近似推理的有效性，提出了三种带聚集函数的近似推理方案，并分别研究了它们的有效性.首先研究了由聚集函数生成的模糊蕴涵的一些性质。然后提出了一个$A$ -合成推理规则（ACRI），它是Zadeh的CRI的推广，用一个聚集函数代替$t$ -范数。进一步讨论了基于相似性的聚合函数近似推理。此外，我们提供了五元组蕴涵原理（QIP）方法与聚合函数解决FMP和FMT问题。最后，我们提出的三个近似推理方法的有效性分别使用GMP规则进行了详细分析。

2021-12-22math.LO

MP与MT性质：基于聚合函数的模糊推理

MP and MT properties of fuzzy inference with aggregation function

Zhejiang Ocean University（浙江海洋大学）

本文从逻辑与插值视角研究基于聚合函数的广义CRI（ACRI）方法，证明其MP与MT性质较t-范数等更通用，并通过实例验证输出接近性。

2023-11-11cs.AImath.LO

德·菲尼特的指示条件句逻辑

De Finettian Logics of Indicative Conditionals

本文探讨了指示性条件句的三价真值条件，考察了de Finetti（1936）提出的“缺陷”表，以及Reichenbach（1944）在Reichenbach（1935）中首次勾画出的“缺陷”表。在他们的方法中，条件句在其前件为True时取其后件的值，否则取其值Indeterminate。在这里，我们处理的问题是为这个条件句选择一个适当的有效性概念。我们发现，所有标准的三价方案是有问题的，并强调两种方法摆脱困境：一对德Finetti的条件（DF）与有效性作为非假值的保存（TT有效性），但在前件推理的费用;其他修改德Finetti的表恢复前件推理。在本文的第一部分中，我们提出了两种替代方案，特别注意库珀1968年和坎特韦尔2008年提出的de Finetti表（CC）的变体。在第二部分中，我们深入讨论了结果逻辑DF/TT和CC/TT的证明论：两者都是连接逻辑，但具有显著不同的代数性质。

2019-07-26math.LO

含直陈条件句的确定性与不确定性推理

Certain and Uncertain Inference with Indicative Conditionals

本文基于W. Cooper的三值真值条件构建直陈条件句的三值语义学，提出确定性与不确定性前提的两种推理逻辑，揭示其性质差异可解释McGee谜题，形成统一解释用于分析条件推理有效性。

2023-04-28cs.AIcs.LOmath.LO

更多相关论文收起更多论文

经典元理论中的Wright严格抽象逻辑：命题例

Wright's Strict Finitistic Logic in the Classical Metatheory: The Propositional Case

克里斯平·赖特在他1982年的论文中主张严格有限主义，这是一种比直觉主义更具限制性的建设性观点。在附录中，他提出了严格有限算术的模型。它们是树状结构，形成于他严格的有限元理论，数字之间的方程，具体的算术句子进行评估。作为第一步，对经典形式化的严格有限性，我们提出了一个额外的假设，在经典的元理论的同行，然后提取命题的一部分，“严格有限逻辑”，从它和调查。我们将提供一个健全和完整的Kripke风格的语义和一个演算，并与其他逻辑比较。这种逻辑缺乏排中律和前件式，弱于经典逻辑，但在定理性上强于任何真正的中介逻辑。事实上，所有其他著名的经典定理都被发现是定理。最后，我们将观察到这种语义的模型可以被看作是直觉模型的节点。

2023-01-28math.LO

一种奇特的对话逻辑及其构成问题

A curious dialogical logic and its composition problem

对话游戏是两个玩家之间的逻辑游戏，一个提出逻辑公式A有效或正确的提议者和一个对此提出异议的反对者。对话方法的一个优点是，它是一个统一的框架，通过对基本规则的微小变化，可以获得不同的逻辑。我们引入了对话游戏的合成问题，作为解决的问题，对于一组S的对话游戏的规则，是否S-对话有效的公式集是封闭下的肯定前件。解决组合问题是对话式逻辑方法的基础;尽管它很简单，但它往往需要借助重要的逻辑机制（如切消）的间接解决方案。我们给出一组对话规则N，它非常接近于一组已知的描述经典命题逻辑的规则，并且从对话的观点来看，它显然是合理的，但是它的一组对话有效的公式是非常特殊的（和非平凡的）。尽管它的特殊性，N的合成问题可以直接解决。

2010-07-31math.LO

Lorenzen对话游戏的结构理论

Toward a structure theory for Lorenzen dialogue games

洛伦岑对话提供了一种两人博弈的形式，可以描述各种逻辑：这种博弈的每一组规则$S$确定了一组公式$\mathcal{D}(S)$，其中一个玩家（所谓的Proponent）有一个获胜的策略，而这组$\mathcal{D}(S)$可以与各种逻辑相一致，例如直觉逻辑、经典逻辑、模态逻辑、连接逻辑和相关逻辑。但是，这些游戏所采用的标准规则集在逻辑上往往是不透明的，并且可能涉及彼此之间的微妙互动。此外，$\mathcal{D}(S)$可能以意想不到的方式与$S$发生变化; $S$中的小变化，即使是逻辑上动机良好的变化，也可能使$\mathcal{D}(S)$在逻辑上不寻常。我们提出的问题，提供一个结构理论，可以解释如何$\mathcal{D}(S)$与$S$变化，特别是，当$\mathcal{D}(S)$是封闭下的肯定前件（从而构成至少一个最小的逻辑）。

2013-12-16cs.LOmath.LO

保持各种剩余格真度的逻辑

Logics preserving degrees of truth from varieties of residuated lattices

设K是一簇（交换的，整的）剩余格.通常与K相关联的子结构逻辑是具有K作为其等价代数语义的可代数化逻辑，并且是保持真值的逻辑，即，1是逻辑推理所保持的唯一真假值。在本文中，我们介绍了另一种逻辑与K，即逻辑，保持程度的真理，在这个意义上说，它保持下界的真假值的推断。我们主要从抽象代数逻辑的角度来研究这第二种逻辑。我们确定它的代数模型，我们将其分类在莱布尼茨和弗雷格层次：我们表明，它总是完全selfextensional，对于大多数品种K它是非原代数，它是代数化的，当且仅当K是各种广义海廷代数，在这种情况下，它符合逻辑，保持真理。我们还以三种方式描述了新逻辑：希尔伯特风格的公理系统，根岑风格的微积分，以及其闭包算子的一组条件。关于这两种逻辑之间的关系，我们证明了真值保持逻辑是融合连接符用肯定前件规则或伴随规则保持真度的逻辑的纯推理推广。

2009-10-02math.LO

模态逻辑教材与教学中的几个常见错误

Some Common Mistakes in the Teaching and Textbooks of Modal Logic

本文讨论了模态逻辑教学和教材中的四个常见错误。第一种是缺少公理$\Diamondφ\leftrightarrow\neg\Box\negφ$，当选择$\Diamond$作为原始模态算子时，误解了$\Box$和$\Diamond$是对称的。二是在用滤子证明有限模型性质时，忘记了使滤子公式集在子公式下封闭，忽略了$\Boxφ$和$\Diamondφ$可能是滤子公式的缩写。三是给出了与原始模态算子不匹配的极小典型模型中典型关系的错误定义。三是对必然性规则的误解，不了解必然性规则与肯定前件规则的区别。为了更好地理解必然性规则，本文总结了模态逻辑中演绎后件的六种定义方式：省略定义、经典定义、三元定义、约化定义、有界定义和紧缩定义，并证明了后三种定义是等价的。

2020-05-20cs.LOmath.LO

物理逻辑

Physical Logic

在R. D。索尔金的物理学逻辑框架在关于物理世界的未断言命题的集合和物理世界对这些命题的肯定或否定之间进行了明确的分离。未断言的命题形成布尔代数，因为它们对应于一组底层时空历史的子集。物理推理规则并不适用于命题本身，而是适用于现实世界对这些命题的肯定和否定。这种物理逻辑可能会也可能不会尊重命题的底层布尔结构。我们证明了这个逻辑是布尔的当且仅当以下三个公理成立：（i）世界是肯定的，（ii）前件推理和（iii）如果一个命题被否定，那么它的否定，或补充，是肯定的。当一个物理系统被量子测度形式的动力学定律所支配，并且具有否定零测度事件的规则时，公理（i）-（iii）被证明过于严格，需要修改。量子力学作为量子测度理论的一个有希望的方案对应于用公理（iv）代替公理（iii）。

2017-02-10math.LOphysics.hist-phquant-ph