一类Horn可公理化逻辑的邻域积
On neighborhood product of some Horn axiomatizable logics
摘要：
我们考虑邻域框架乘积的模态逻辑。定义模态逻辑的n-积为相应逻辑的邻域框架的所有积的逻辑，并求出任意两个预传递Horn可公理化逻辑的n-积。作为推论，我们发现了某些拓扑空间的拓扑空间乘积的d-逻辑。
英文摘要：
We consider modal logics of products of neighborhood frames. We define n-product of modal logics as the logic of all products of neighborhood frames of corresponding logics and find n-product of any two pretransitive Horn axiomatizable logics. As a corrolary we find the d-logic of products of topological spaces for some classes of topological spaces.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
