A logic of hypothetical conjunction
A logic of hypothetical conjunction
复制标题
假设合取逻辑
DOI：
10.1093/logcom/exz018
复制
发表时间：
2019
影响因子：
0.7
通讯作者：
Collinson M
中科院分区：
文献类型：
--
作者：
Collinson M
考虑了一个二进制连接词，它可以作为许多条件逻辑中条件连接词的匹配连接词来读取。阅读这个连接词最自然的方式通常是作为一个连词，然而，假设地，被认为是在假设下可以获得的一种状态。连接词可以被赋予一个内涵语义，扩展了在可能世界上使用二元关系的命题索引族的条件逻辑的标准语义。该语义由支持条件语义和新连接的操作之间的伴随关系决定。假设性连接词的语义包含了由三元关系语义支持的与子结构和相关逻辑相关的融合连接词的语义，因此包含了许多其他形式的连接词。讨论了假设连接连接的一些应用，包括在计算机科学应用中使用的资源推理的广义形式。
A binary connective that can be read as a matching conjunction for conditional connectives found in many conditional logics is considered. The most natural way to read this connective is often as a conjunctionand yet, hypothetically, considered to hold of a state of affairs that could be obtained under the hypothesis. The connective can be given an intensional semantics extending a standard semantics of conditional logic that uses propositionally indexed families of binary relations on possible worlds. This semantics is determined by an adjoint relationship between the operations supporting the semantics of the conditional and the new conjunction. The semantics of the hypothetical conjunction connective subsumes the semantics, supported by a ternary relation semantics, of the fusion connective that arises in connection with substructural and relevant logics, and therefore subsumes a number of other forms of conjunction. A number of applications of the hypothetical conjunction connective are discussed, including generalized forms of resource reasoning used in computer science applications.
登录
查看更多内容
影响因子：
0.5
作者：
Galmiche, D;Méry, D;Pym, D
通讯作者：
Pym, D
影响因子：
0.6
作者：
Joseph Y. Halpern
通讯作者：
Joseph Y. Halpern
DOI：
--
发表时间：
2019
期刊：
Concurrency: the Works of Leslie Lamport
影响因子：
--
作者：
L. Lamport
通讯作者：
L. Lamport
具有二元模态的可判定和不可判定逻辑
DOI：
--
发表时间：
1995
期刊：
Journal of Logic, Language and Information
影响因子：
--
作者：
Á. Kurucz;I. Németi;I. Sain;András Simon
通讯作者：
András Simon
分层图的子结构逻辑
影响因子：
0.7
作者：
Collinson M
通讯作者：
Collinson M