胡安·克莱门特·维达尔 Juan Soliveres Tur公司 关于多元等式逻辑的完备性定理及霍尔代数与贝纳布理论的等价性。 127-158 2006 40 数学报告。日志。 https://rml.tcs.uj.edu.pl/rml-40/06-climent.pdf db/journals/rml/rml40.html#VidalT06