贝内维迪斯，马里奥；亚历山大·马德拉；马丁斯（Manuel A.Martins）。 分级认知逻辑与公告。 （英语） Zbl 1491.03013号 J.日志。阿尔盖布。方法计划。 125，文章ID 100732，15 p.（2022）.MSC公司：03B42号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{M.Benevides}等人，J.Log。阿尔盖布。方法计划。125，文章ID 100732，15 p.（2022；Zbl 1491.03013） 全文： DOI程序
莱安德罗·戈麦斯；亚历山大·马德拉；巴博萨、路易斯·索亚雷斯 的语义和逻辑模糊雅顿语法. （英语） Zbl 1499.03023号 软计算。 25，第9号，6789-6805（2021）.MSC公司：03B70号 03B52号 60年第68季度 68问题85 68甲18 PDF格式BibTeX公司 XML格式引用 \textit｛L.Gomes｝等人，《软计算》。25，编号9，6789--6805（2021；Zbl 1499.03023） 全文： DOI程序
贝内维迪斯，马里奥；亚历山大·马德拉；马丁斯（Manuel A.Martins）。 在具有结构化知识的认知逻辑中加入证明演算。 （英语） Zbl 1496.68309号 Hojjat，Hossein（编辑）等人，《软件工程基础》，第九届国际会议，FSEN 2021，虚拟活动，2021年5月19日至21日。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12818, 53-68 (2021).MSC公司：68T27型 03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Benevides}等人，Lect。注释计算。科学。12818、53-68（2021年；Zbl 1496.68309） 全文： DOI程序 链接
马尼沙·贾恩；亚历山大·马德拉；马丁斯（Manuel A.Martins）。 模糊过渡系统的模糊模态逻辑。 （英语） Zbl 1452.68126号 Felty，Amy（编辑）等人，第14届逻辑和语义框架及其应用国际研讨会，2019年8月于巴西纳塔尔举行。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。348, 85-103 (2020).MSC公司：68问题85 03B45号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{M.Jain}等人，《电子》。注释Theor。计算。科学。348，85-103（2020；Zbl 1452.68126） 全文： DOI程序
安东尼奥·迪·诺拉；格里戈利亚（Grigolia）、露华兹（Revaz）；盖塔诺·维塔莱 动态Łukasiewicz逻辑和动态MV代数。 （英语） 兹比尔1477.03073 国际J近似推理 124, 103-110 (2020).MSC公司：03B50号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{A.Di Nola}等人，《国际近似推理》124，103--110（2020；Zbl 1477.03073） 全文： DOI程序
亚历山大·马德拉；马丁斯（Manuel A.Martins）。；贝内维特斯，马里奥·R·F·。 具有结构化知识的认识逻辑。 （英语） Zbl 1433.68423号 Accattoli，Beniamino（编辑）等人，《逻辑和语义框架与应用第13次研讨会论文集》，LSFA 18，巴西福塔莱萨，2018年9月26日至28日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。344137-149（2019）中所述。MSC公司：68T27型 03B42号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira}等人，《电子》。注释Theor。计算。科学。344137-149（2019年；Zbl 1433.68423） 全文： DOI程序
贝内维特斯，马里奥·R·F·。；亚历山大·马德拉；马丁斯（Manuel A.Martins）。 一个等级认知逻辑家族。 （英语） Zbl 1433.68416号 Alves，Sandra（编辑）等人，逻辑和语义框架与应用第十二次研讨会论文集（LSFA 2017），巴西巴西利亚，2017年9月23日至24日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。338, 45-59 (2018).MSC公司：68T27型 03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.R.F.Benevides}等人，《电子》。注释Theor。计算。科学。338、45-59（2018年；Zbl 1433.68416） 全文： DOI程序