.png){kind=icon}
.png){kind=icon}
返回
Indicative Conditionals: Some Algebraic Considerations
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-031-99536-1_8.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
我们考虑一个非经典的三值逻辑家族，这些逻辑被提议用于建模指示性条件句——即自然语言中出现的“如果-那么”类型句子，并关注可能为真的情况（与关注不再可能发生的偶发事件的反事实条件句相对）。在这些逻辑中，我们研究了由B. De Finetti、W.S. Cooper、J. Cantwell和R.J. Farrell引入的系统，以及一些尚未出现在文献中但似乎从形式角度看仍是有趣的自然变体。我们确定了这些逻辑中哪些是可代数化的（在Blok和Pigozzi的意义上），并提供了相应的代数对应物的方程式表述，从中可以方便地得到有限的Hilbert式演算。即使在不可代数化的情况下，我们也指出了如何运用代数技术来进一步获得对这些逻辑及其公理化的语义洞察。在结论部分，我们指出了当前工作的可能扩展方向，例如通过扭结构表示法对相关代数类进行进一步分析。
Keyword:
Indicative conditionals
Algebraizability
Axiomatization
Algebraic semantics
Connexive logics
Twist-structures