洛伦兹·德米 计算亚里士多德图族的最大布尔复杂性。 （英语） Zbl 1444.03112号 J.日志。计算。 28，第6期，1323-1339（2018）. 摘要：逻辑几何学为系统研究亚里士多德图表的逻辑（和其他）属性提供了一个广泛的框架。本文的主要目的是介绍和说明逻辑几何计算方法的基础。特别是，在简要讨论了逻辑几何的一些关键概念之后，我描述了一个关于亚里士多德图的逻辑问题，这个问题具有相当重要的理论意义，即寻找给定亚里士多图族的最大布尔复杂性的任务，然后，我提出并讨论了一个简单的自动解决此任务的算法。该算法是在逻辑编程范式（尤其是Prolog）中自然实现的。为了说明该算法的理论成果，我还展示了它如何为几个著名的亚里士多德图家族提供新的线索。 引用于7文件 MSC公司： 03B70号 计算机科学中的逻辑 03立方厘米35 证明和逻辑运算的机械化 03B45号 模态逻辑（包括规范逻辑） 68N17号 逻辑编程 关键词：亚里士多德图解;逻辑几何;位字符串语义;亚里士多德家族;布尔子家族;逻辑程序设计 PDF格式BibTeX公司 XML格式引用 \textit{L.Demey}，J.Log。计算。28，第6号，1323--1339（2018；Zbl 1444.03112） 全文： DOI程序 链接