卡洛斯·卡莱罗;塞尔吉奥·马塞利诺 组合逻辑的模块化多值语义。 （英语） Zbl 07854632号 J.塞姆。日志。 89，编号2，583-636（2024）.MSC公司：03B50号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}和\textit{S.Marcelino}，J.Symb。日志。89，编号2，583--636（2024；Zbl 07854632） 全文： DOI程序 arXiv公司
俄罗斯、西罗 利用序代数对演绎系统进行余积和合并。 （英语） Zbl 1500.03003号 日志。Univers大学。 16，编号1-2，355-380（2022）. 审核人：谢尔盖斯·索洛夫乔夫斯（普拉哈） MSC公司：03B22号 03G30型 07年6月 08B25号 18B99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Russo}，日志。Univers大学。16，编号1--2，355--380（2022；Zbl 1500.03003） 全文： DOI程序 arXiv公司
塞尔吉奥·马塞利诺 意外的布尔连接词。 （英语） Zbl 1529.03175号 日志。Univers大学。 16，编号1-2，85-103（2022）.MSC公司：03B50号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{S.Marcelino}，日志。Univers大学。16，编号1--2，85-103（2022；Zbl 1529.03175） 全文： DOI程序 arXiv公司
杰拉德·奥尔文;威廉·哈里森。 分布式模态逻辑。 （英语） Zbl 1439.03043号 Bimbó，Katalin（编辑），J.Michael Dunn关于基于信息的逻辑。查姆：斯普林格。Outst公司。控制日志。8, 331-362 (2016).MSC公司：03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Allwein}和\textit{W.L.Harrison}，Outst。控制日志。8、331--362（2016；Zbl 1439.03043） 全文： DOI程序
乔安·拉斯加;克里斯蒂娜·瑟纳达斯;阿米尔卡尔·塞尔纳达斯 组合逻辑时保留可接受规则。 （英语） Zbl 1397.03049号 版本符号。日志。 9，第4期，641-663（2016）. 审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德） MSC公司：03B62号 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga}等人，Rev.Symb。日志。9，第4号，641--663（2016；Zbl 1397.03049） 全文： DOI程序 arXiv公司
塞尔吉奥·马塞利诺;卡洛斯·卡莱罗;佩德罗·巴尔塔扎尔 在没有共享连接词的纤维逻辑中决定理论。 （英语） Zbl 1376.03017号 Koslow，Arnold（编辑）等人，《通向普遍逻辑的道路》。庆祝Jean-Yves Béziau 50岁生日。第二卷。纽约州纽约市：Birkhäuser/Springer（ISBN 978-3-319-15367-4/pbk；978-3-316-15368-1/电子书）。《通用逻辑研究》，387-406（2015）。MSC公司：03B22号 03B25号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{S.Marcelino}等人，in：通向普遍逻辑的道路。庆祝Jean-Yves Béziau 50岁生日。第二卷。纽约州纽约市：Birkhäuser/Springer。387--406（2015；Zbl 1376.03017） 全文： DOI程序
吴，尹;蒋敏;黄忠强;赵飞;周长乐 纤维逻辑的NP完整片段。 （英语） Zbl 1336.03028号 安。数学。Artif公司。智力。 75，No.3-4，391-417（2015）.MSC公司：03B45号 03B62号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Wu｝等人，Ann.Math。Artif公司。智力。75，编号3--4，391--417（2015；Zbl 1336.03028） 全文： DOI程序
达兰·平托。 逻辑和代数化逻辑范畴综述。 （英语） Zbl 1388.03065号 圣保罗数学。科学。 9，第1期，76-96（2015）.MSC公司：03G25号 03G30型 03B62号 18B99型 PDF格式BibTeX公司 XML格式引用 \textit{D.C.Pinto}，圣保罗数学。科学。9，第1号，76--96（2015；Zbl 1388.03065） 全文： DOI程序
彼得·阿恩特 逻辑的同调范畴。 （英语） Zbl 1376.03013号 Koslow，Arnold（编辑）等人，《通向普遍逻辑的道路》。庆祝Jean-Yves Béziau 50岁生日。第一卷Cham：Birkhäuser/Springer（ISBN 978-3-319-10192-7/pbk；978-3-3169-10193-4/电子书）。《通用逻辑研究》，13-58（2015）。MSC公司：03B22号 55单位35 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{P.Arndt}，in：通向普遍逻辑的道路。庆祝Jean-Yves Béziau 50岁生日。第一卷Cham：Birkhäuser/Springer。13-58（2015年；兹bl 1376.03013） 全文： DOI程序
佩德罗·巴尔塔扎尔 逻辑概率：完备性和可判定性。 （英语） Zbl 1323.03033号 日志。Univers大学。 7，第4期，403-440（2013）.MSC公司：03B62号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baltazar}，日志。Univers大学。7，第4号，403--440（2013；Zbl 1323.03033） 全文： DOI程序
乔治·沃萨达基斯 范畴抽象代数逻辑：满足逻辑系统的组合。 （英语） Zbl 1272.03166号 数学杂志。 2013年，文章ID 126347，8 p.（2013）. 审核人：胡安·克莱门特·维达尔（瓦伦西亚） MSC公司：03G30型 03G27号 PDF格式BibTeX公司 XML格式引用 \textit{G.Voutsadakis}，J.数学。2013年，文章ID 126347，8 p.（2013；Zbl 1272.03166） 全文： DOI程序 OA许可证
乔舒亚·谢赫特 并置：一种组合逻辑的新方法。 （英语） Zbl 1252.03068号 版本符号。日志。 4，第4号，560-606（2011）.MSC公司：03B62号 PDF格式BibTeX公司 XML格式引用 \textit{J.Schechter}，版本符号。日志。4，第4号，560--606（2011；Zbl 1252.03068） 全文： DOI程序
卡洛斯·卡莱罗;里卡多·贡萨阿尔维斯;曼努埃尔·马丁斯 逻辑的行为代数化。 （英语） Zbl 1171.03040号 双头螺栓日志。 91，第1号，63-111（2009）. 审核人：曼努埃尔·阿巴德（巴伊亚·布兰卡） MSC公司：03G25号 PDF格式BibTeX公司 XML格式引用 \textit｛C.Caleiro｝等人，Stud.Log。91，编号1，63--111（2009；Zbl 1171.03040） 全文： DOI程序 链接
马克·艾吉尔;拉兹万·迪亚科内斯库 分层机构和基本同态。 （英语） Zbl 1189.03038号 信息处理。莱特。 103，编号1，5-13（2007）.MSC公司：03B70号 03C95号 03G30型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Aiguier}和\textit{R.Diaconescu}，Inf.过程。莱特。103，第1号，第5--13号（2007；Zbl 1189.03038） 全文： DOI程序
M.Aiguier。;F.巴比尔。 Beth可定义性定理的机构相关证明。 （英语） Zbl 1134.03043号 双头螺栓日志。 85，第3号，333-359（2007）. 审核人：拉兹万·迪亚科内斯库（普洛耶什蒂） MSC公司：03G30型 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{M.Aiguier}和\textit{F.Barbier}，Stud.Log。85，第3号，333--359（2007；Zbl 1134.03043） 全文： DOI程序 哈尔
哈伊姆·盖夫曼（编辑） 2005年12月27日至29日，纽约希尔顿酒店，2005年6月，符号逻辑协会冬季会议。 （英语） 1100.03500兹罗提 牛市。符号。日志。 12，第3期，503-516（2006）.MSC公司：03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{H.Gaifman}（编辑），公牛。符号。日志。12，第3号，503--516（2006；Zbl 1100.03500） 全文： DOI程序
塞尔纳达斯，C。;维甘诺，L。;J·拉斯加。;塞尔纳达斯，A。 作为标签的真值：标签演绎的一般方法。 （英语） Zbl 1181.03025号 J.应用。非类别。日志。 13，编号3-4，277-315（2003）.MSC公司：03B50号 03B60号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{C.Sernadas}等人，J.Appl。非类别。日志。13，编号3--4，277--315（2003；Zbl 1181.03025） 全文： DOI程序
克里斯蒂娜·瑟纳达斯;乔安·拉斯加;沃尔特·A·卡尼利。 调制的谎言和崩溃问题。 （英语） Zbl 1043.03010号 J.塞姆。日志。 67，第4期，1541-1569（2002）. 审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德） MSC公司：03B22号 PDF格式BibTeX公司 XML格式引用 \textit{C.Sernadas}等人，J.Symb。日志。67，第4号，1541--1569（2002；Zbl 1043.03010） 全文： DOI程序
阿尔贝托·扎纳多;阿米尔卡·瑟纳达斯;克里斯蒂娜·瑟纳达斯 纤维蛋白：完整性保护。 （英语） Zbl 0981.03011号 J.塞姆。日志。 66，第1期，414-439（2001）. 审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德） MSC公司：03B22号 03B45号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Zanardo}等人，J.Symb。日志。66，编号1414-439（2001年；Zbl 0981.03011） 全文： DOI程序