摘要
在本注记中,我们利用单二元分别三元恒等式刻划了(2,2,1)型格之间的布尔代数,这些格具有连接、满足和附加的一元运算。特别是,满足这些方程约束中任何一个的唯一补格都是分配的,因此是布尔代数。
非常感谢两位作者对奥迪AD项目CZ 04/2017和IGA项目PřF 2018 012研究的支持,以及第二位作者对奥地利科学基金项目I 1923 N25研究的支持。第三位作者感谢Stephen Kirkland博士和马尼托巴大学数学系为开展富有成效的研究提供的支持和愉快的氛围。
收到:2016-10-07
认可的:2017-06-15
在线发布:2018-08-06
印刷出版:2018-08-28