胡安·曼纽尔·科内霍 半Heyting Brouwer逻辑。 (英语) Zbl 1378.03011号 螺柱日志。 103,第4期,853-875(2015).MSC公司:03B20型 06D20日 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Cornejo},Stud.Log。103,第4号,853--875(2015;Zbl 1378.03011) 全文: 内政部
迈克尔·德;大森,Hitoshi Belnap-Dunn逻辑的经典否定和扩展。 (英语) Zbl 1373.03029号 螺柱日志。 103,第4期,825-851(2015). 审核人:Albert Hoogewijs(根特) MSC公司:03B50 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{M.De}和\textit{H.Omori},Stud.Log。103,第4号,825--851(2015;Zbl 1373.03029) 全文: 内政部
彼得·辛图拉;卡莱斯·诺格拉 关于抽象代数逻辑中自然扩张的注记。 (英语) Zbl 1333.03268号 螺柱日志。 103,第4期,815-823(2015). 审核人:米克洛斯·费伦齐(布达佩斯) MSC公司:03G27号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}和\textit{C.Noguera},Stud.Log。103,第4号,815--823(2015;Zbl 1333.03268) 全文: 内政部
爱德华多·杜布克。;波维达,Y.A。 关于强单位MV-代数与(l)-群的等价性。 (英语) Zbl 1348.06009号 螺柱日志。 103,第4期,807-814(2015).MSC公司:05年6月 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) 全文: 内政部
科奇亚雷拉,尼诺·B。 复数逻辑的两种观点和一种对另一种的简化。 (英语) 兹比尔1378.03028 螺柱日志。 103,编号4,757-780(2015).MSC公司:03B65号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{N.B.Cocchiarella},树桩日志。103,第4号,757--780(2015;Zbl 1378.03028) 全文: 内政部 链接
塞尔吉奥·塞拉尼。 单调邻域模型中饱和度的性质及其应用。 (英语) Zbl 1382.03041号 螺柱日志。 103,第4期,733-755(2015).MSC公司:03B45号 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Celani},研究日志。103,第4号,733--755(2015;Zbl 1382.03041) 全文: 内政部
王雪萍;王雷波 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) 全文: 内政部
马西米利亚诺·卡拉拉;恩里科·马蒂诺 将行为学建立在复数参考上。 (英语) Zbl 1394.03006号 螺柱日志。 103,第4号,697-711(2015).MSC公司:03A05号 03B15号机组 03立方厘米30 03电子70 PDF格式BibTeX公司 XML格式引用 \textit{M.Carrara}和\textit{E.Martino},Stud.Log。103,第4号,697--711(2015;Zbl 1394.03006) 全文: 内政部
柳竹村 使用欧拉图的反例构造。 (英语) Zbl 1370.03076号 螺柱日志。 103,第4期,669-696(2015). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03楼50 03B65号 05年3月 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{R.Takemura},研究日志。103,第4号,669--696(2015;Zbl 1370.03076) 全文: 内政部