W.麦库恩。;帕德马纳班,R。;Rose,医学硕士。;R.弗罗夫。 正交格的单个公理的自动发现。 (英语) 兹比尔1084.06007 代数大学。 52,第4期,541-549(2004). 小结:我们提出了正交格、正交模格和模正交格的简短单公理,所有这些都是以谢弗笔划表示的。正交格公理是最短的可能公理。我们也给出了Sheffer中风和联合、相遇和互补的多方程基础。证据被省略,但可以在相关的技术报告和Web上获得。我们广泛使用计算机来寻找候选人,拒绝候选人,并搜索候选人是单一公理的证据。 引用于三文件 MSC公司: 06第15页 补格、正交补格和偏序集 68吨15 定理证明(演绎、解析等)(MSC2010) 关键词:正晶格;正交模格;模正交格;Sheffer冲程;多方程基;单一公理 软件:梅斯4 PDF格式BibTeX公司 XML格式引用 \textit{W.McCune}等人,代数大学。52,第4号,541--549(2004;Zbl 1084.06007) 全文: 内政部