当前位置: X-MOL 学术Journal of Philosophical Logic › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Variable Sharing in Connexive Logic
Journal of Philosophical Logic Pub Date : 2021-05-04 , DOI: 10.1007/s10992-021-09602-y
Luis Estrada-González , Claudia Lucía Tanús-Pimentel

However broad or vague the notion of connexivity may be, it seems to be similar to the notion of relevance even when relevance and connexive logics have been shown to be incompatible to one another. Relevance logics can be examined by suggesting syntactic relevance principles and inspecting if the theorems of a logic abide to them. In this paper we want to suggest that a similar strategy can be employed with connexive logics. To do so, we will suggest some properties that seem to be hinted at in Nelson’s work. Following this strategy will ideally shed some light over the notion of content and will also help make a clear comparison between relevance and connexive logics.



中文翻译:

连接逻辑中的变量共享

无论关联性的概念有多宽泛或模糊,即使已显示关联逻辑和关联逻辑彼此不兼容,它也似乎与关联性概念相似。可以通过建议句法关联原则并检查逻辑定理是否遵守来检查关联逻辑。在本文中,我们想建议一种类似的策略可以与连接逻辑一起使用。为此,我们将建议在Nelson的工作中似乎暗示的一些属性。遵循此策略将理想地阐明内容的概念,还将有助于在关联逻辑和连接逻辑之间进行清晰的比较。

更新日期:2021-05-04
down
wechat
bug