通过非分配对偶性实现模态格的超拼接
Superamalgamation for modal lattices via non-distributive dualities
Institute for Logic, Language and Computation, Universiteit van Amsterdam（逻辑、语言与计算研究所，阿姆斯特丹大学）；Department of Mathematics, Université du Luxembourg（数学系，卢森堡大学）
AI总结：
本文通过非分配对偶性证明模态格的超拼接性质，并由此得出弱正模态逻辑具有Craig插值性质，同时扩展到其他弱正模态逻辑。
摘要：
我们证明了模态格的变种具有超拼接性质。作为结果，我们得出弱正模态逻辑具有Craig插值性质。我们的证明采用了基于模态L-空间的最近的模态格对偶性。此外，我们将这一结果扩展到由对应于全称Horn句子的模态公理化的一系列其他弱正模态逻辑。
英文摘要：
We show that the variety of modal lattices has the superamalgamation property. As a consequence, we obtain that the weak positive modal logic has the Craig interpolation property. Our proof employs the recent duality for modal lattices based on modal L-spaces. Moreover, we extend this result to a number of other weak positive modal logics axiomatized by modal axioms corresponding to universal Horn sentences.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
