This paper studies the self-similar fractals with overlaps from an algorithmic point of view.A decidable problem is a qu......

为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......

Mean Value Calculus (MVC)[1] is a real-time logicwhich can be used to specify and verify real-time systems[2]. As aconse......

描述了访问控制和逻辑的关系，并将访问控制授权判决问题归约成逻辑蕴涵问题；总结了基于逻辑的访问控制的基本逻辑问题，即逻辑基础、可......

　　模型检测是逻辑学和计算机科学中的一个重要研究领域，作为模态逻辑的一个重要分支时间逻辑，它的繁荣发展就出现在这一领域。模型......

运用Ｅｈｒｅｎｆｅｕｃｈｔ Ｇａｍｅｓ理论给出原子布尔代数理论的一个判定过程及其复杂度，并说明这个过程在初等等价意义下是最优的。......

运用改进的Ｅｈｅｒｎｆｅｕｃｈｔ ｇａｍｅｓ理论，适当定义了范数和囿函数，给出了无原子布尔代数理论的一个判定过程，利用这个结果，直接构造出完备布尔代数的判定过程......

弗协调逻辑，又译作“次协调逻辑”、“超协调逻辑”，是非经典逻辑的一个新兴分支。它是一种不能从矛盾推出一切的逻辑理论。论文指出......

判定问题是逻辑研究中的重要问题．本文讨论了关于带有索引的认识逻辑ELI的基于语义tableau方法的判定过程，阐明了ELI的Mwff的可判定......

Open logic (OL) is a noticeable logic theory dealing with the description of knowledge growth and updating, as well as t......

本文利用初等等价的工具，引用Ｅｈｅｎｆｅｕｃｈｔ Ｇａｍｅ理论，证明了有限可换主理想环上模的理论是可判定的，并且判定过程的计算复杂性上界为２＾ｃｎ＾２。......