斯特凡诺·邦齐奥;安德烈·洛伊;路易莎·佩鲁齐 对合双相似的对偶性。 (英语) 兹比尔1475.06001 螺柱日志。 107,第2号,423-444(2019). 审核人:阿尔戈塔·菲古拉(德布勒森) MSC公司:2012年6月 08C20号 2015年6月 22A30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bonzio}等人,研究日志。107,编号2,423--444(2019;Zbl 1475.06001) 全文: 内政部 arXiv公司
曼努埃拉·布萨尼切;罗伯托·奇格诺利;米格尔·安德烈斯·马科斯 Stonean剩余格的范畴等价。 (英语) Zbl 1494.03094号 螺柱日志。 107,第2号,399-421(2019).MSC公司:03G25号 03G10年 2015年6月 PDF格式BibTeX公司 XML格式引用 \textit{M.Busaniche}等人,研究日志。107,第2号,399--421(2019;Zbl 1494.03094) 全文: 内政部 arXiv公司
苏珊娜·博布赞;罗伊·戴克霍夫 分析性、平衡性和不可接受性剪切在斯多葛逻辑中。 (英语) Zbl 1494.03089号 螺柱日志。 107,第2号,375-397(2019).MSC公司:05年3月 03B47号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{S.Bobzien}和\textit{R.Dyckhoff},Stud.Log。107,编号2375-397(2019;兹bl 1494.03089) 全文: 内政部
拉蒙·詹萨纳;圣马丁·埃尔南·哈维尔 关于具有交换幺半运算和蕴涵的分配格中的主同余。 (英语) Zbl 1494.06003号 螺柱日志。 107,第2期,351-374(2019).MSC公司:05年6月 06D20日 06B10号 PDF格式BibTeX公司 XML格式引用 \textit{R.Jansana}和\textit{H.J.San Martín},Stud.Log。107,第2号,351--374(2019;Zbl 1494.06003) 全文: 内政部 arXiv公司
Leszczyńska Jasion,多罗塔;马特乌斯·伊格纳扎克;希蒙·克莱博夫斯基 具有切割规则的Rasiowa-Sikorski演绎系统:案例研究。 (英语) Zbl 1494.03068号 螺柱日志。 107,第2期,313-349(2019).MSC公司:03B53号 05年3月 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{D.Leszczyñska-Jasion}等人,研究日志。107,编号2131-349(2019;兹bl 1494.03068) 全文: 内政部
马明辉;林元雷 Belnap-Dunn逻辑的确定性削弱。 (英语) Zbl 1494.03060号 螺柱日志。 107,No.2,283-312(2019).MSC公司:03B50号 06时30分 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ma}和\textit{Y.Lin},螺柱日志。107,第2283-312号(2019年;兹bl 1494.03060) 全文: 内政部
弗雷德里克·劳里德森。 中间逻辑承认结构超连续演算。 (英语) Zbl 1494.03069号 螺柱日志。 107,第2期,247-282(2019).MSC公司:03B55号 05年3月 03财年03 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Lauridsen},研究日志。107,第2号,247--282(2019;Zbl 1494.03069) 全文: 内政部