亚历山大五世(Alexander V.Gheorghiu)。;大卫·J·派姆。 对捆绑含义逻辑的语义分析。 (英语) Zbl 07725402号 螺柱日志。 111,第4期,525-571(2023年).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Gheorghiu}和\textit{D.J.Pym},Stud.Log。111,编号42525-571(2023;Zbl 07725402) 全文: 内政部 arXiv公司 OA许可证
林哲;马明辉 直觉主义时态逻辑中否定翻译的证明理论方法。 (英语) Zbl 07595959号 螺柱日志。 110,第5期,1255-1289(2022).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{Z.Lin}和\textit{M.Ma},Stud.Log。110,编号5,1255--1289(2022;Zbl 07595959) 全文: 内政部
弗雷德里克·劳里德森。 中间逻辑承认结构超连续演算。 (英语) 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) 全文: 内政部 OA许可证
巴威·乌尔兹琴 直觉游戏:确定性、完整性和规范化。 (英语) Zbl 1417.03127号 螺柱日志。 104,第5期,957-1001(2016).MSC公司:03B20型 05年3月 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Urzyczyn},研究日志。104,第5号,957--1001(2016;Zbl 1417.03127) 全文: 内政部
詹姆斯·布罗瑟斯顿 显示分组逻辑。 (英语) Zbl 1282.03011号 螺柱日志。 100,第6期,1223-1254(2012). 审核人:杰玛·罗伯斯(莱昂) MSC公司:03B47号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Brotherston},Stud.Log。100,第6号,1223--1254(2012;Zbl 1282.03011) 全文: 内政部