直觉依赖逻辑中二阶句的表示
Expressing Second-order Sentences in Intuitionistic Dependence Logic
摘要：
直觉依赖逻辑由Abramsky和Vaananen（2009）引入，作为Hodges（trump）团队语义的一般结构下的依赖逻辑的变体。证明了从直觉依赖逻辑句子到二阶逻辑句子的转换。本文证明了另一个方向也成立，从而直觉依赖逻辑在句子层次上等价于二阶逻辑。
英文摘要：
Intuitionistic dependence logic was introduced by Abramsky and Vaananen (2009) as a variant of dependence logic under a general construction of Hodges' (trump) team semantics. It was proven that there is a translation from intuitionistic dependence logic sentences into second order logic sentences. In this paper, we prove that the other direction is also true, therefore intuitionistic dependence logic is equivalent to second order logic on the level of sentences.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
