具有荒谬性的无穷命题相关语言
Infinitary propositional relevant languages with absurdity
摘要：
对无穷命题相关逻辑建立了Scott同构定理、Karp定理以及缺乏紧性和强完备性的类似结果。无限数量布尔逻辑$L_{\infty ω}$的一个“内插定理“（由Barwise和van Benthem引入的一种特殊类型）成立。这产生了一个保存结果，表征了表达能力的无穷相关语言的荒谬使用模型理论关系的相关定向互模拟以及贝丝可定义性属性。
英文摘要：
Analogues of Scott's isomorphism theorem, Karp's theorem as well as results on lack of compactness and strong completeness are established for infinitary propositional relevant logics. An "interpolation theorem" (of a particular sort introduced by Barwise and van Benthem) for the infinitary quantificational boolean logic $L_{\infty ω}$ holds. This yields a preservation result characterizing the expressive power of infinitary relevant languages with absurdity using the model-theoretic relation of relevant directed bisimulation as well as a Beth definability property.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
