大卫·法齐奥;安东尼奥·莱达;弗朗西斯科·保利;加文圣约翰 正交模量子逻辑的子结构Gentzen演算。 (英语) Zbl 07786932号 版本符号。日志。 16,第4期,1177-1198(2023)。MSC公司:03G12号机组 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{D.Fazio}等人,Rev.Symb。日志。16,编号4,1177--1198(2023;Zbl 07786932) 全文: 内政部
D.法齐奥。;莱达,A。;保利,F。 残余结构和正交模晶格。 (英语) 兹比尔1487.03074 螺柱日志。 109,编号6,1201-1239(2021)。 审核人:约瑟夫·特卡德莱克(普拉哈) MSC公司:03G12号机组 03D25号 06第15页 03G27号 06B23号 PDF格式BibTeX公司 XML格式引用 \textit{D.Fazio}等人,研究日志。109,编号6,1201--1239(2021;Zbl 1487.03074) 全文: 内政部 OA许可证