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） 全文： DOI程序