胡安·曼纽尔·科内霍 半Heyting-Brouwer逻辑。 (英语) Zbl 1378.03011号 螺柱日志。 103,第4期,853-875(2015).MSC公司:03B20型 6月20日 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Cornejo},螺柱日志。103,第4号,853--875(2015;Zbl 1378.03011) 全文: 内政部
爱德华多·杜布克。;波维达,Y.A。 关于强单位MV-代数与(l)-群的等价性。 (英语) Zbl 1348.06009号 螺柱日志。 103,编号4,807-814(2015).MSC公司:第65页 03G25号 2015年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Dubuc}和\textit{Y.A.Poveda},研究日志。103,第4号,807--814(2015;Zbl 1348.06009) 全文: 内政部 arXiv公司
Jort M.Bergfeld。;Kohei的Kishida;约书亚·萨克;钟,沈阳 量子作用逻辑的对偶性。 (英语) Zbl 1361.06005号 螺柱日志。 103,第4期,781-805(2015). 审核人:约瑟夫·特卡德莱克(普拉哈) MSC公司:06年50月 03G12号机组 81页第10页 18B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Bergfeld}等人,研究日志。103,第4号,781--805(2015;Zbl 1361.06005) 全文: 内政部
王雪萍;王雷波 Ockham代数子类上的同余与核理想。 (英语) Zbl 1357.06003号 螺柱日志。 103,第4期,713-731(2015).MSC公司:06时30分 06B10号 PDF格式BibTeX公司 XML格式引用 \textit{X.-P.Wang}和\textit{L.-B.Wangneneneep,Stud.Log。103,第4号,713--731(2015;Zbl 1357.06003) 全文: 内政部