Topological Semantics for Conditionals

Topological Semantics for Conditionals
复制标题

条件句的拓扑语义

DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Riccardo Pinosio
Riccardo Pinosio
中科院分区：
--
文献类型：
--
作者：
J. Marti;Riccardo Pinosio;Riccardo Pinosio

文献摘要

被引文献

相似文献

在本文中，我们探讨了由先序和拓扑空间之间的亚历山德罗夫等价产生的条件逻辑的拓扑语义。这澄清了条件语句的标准顺序语义和前提语义之间的关系。作为一个应用程序，我们从相关命题的拓扑中提供可能世界之间的相对相似顺序的构造。拓扑上的条件逻辑可与模态逻辑 S4u 互译。
In this paper we explore the topological semantics for conditional logic that arises from the Alexandroff equivalence between preorders and topological spaces. This clarifies the relation between the standard order semantics and premise semantics for conditionals. As an application we provide a construction of relative similarity orders between possible worlds from topologies of relevant propositions. The conditional logic over topologies is intertranslatable with the modal logic S4u.