里卡多·奥斯卡·罗德里格斯;星期二,奥利姆弗里茨;弗朗西斯科·埃斯特瓦;路易斯·戈多 K45类哥德尔模态逻辑的简化克里普克语义及其公理扩展。 (英语) Zbl 1498.03051号 螺柱日志。 110,第4期,1081-1114(2022). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:03B45号 03B50号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{R.O.Rodriguez}等人,研究日志。110,编号4,1081--1114(2022;Zbl 1498.03051) 全文: 内政部 arXiv公司 OA许可证
泽维尔·凯塞多;乔治·梅特卡夫;里卡多·罗德里格斯;奥利姆·图伊特 线性框架上的中间逻辑的一个可变片段。 (英语) 兹伯利07540277 Inf.计算。 287,文章ID 104755,20 p.(2022).MSC公司:03B55号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{X.Caicedo}等人,《信息计算》。287,文章ID 104755,20 p.(2022;Zbl 07540277) 全文: 内政部 OA许可证
彼得·吉普森;奥利姆·图伊特;瓦洛塔,迭戈 有限交换幂等对合剩余格的结构。 (英语) Zbl 1534.03056号 代数大学。 82,第4期,第57号论文,23页(2021年).MSC公司:03G10年 03B47号 05年6月 06B15号 06至75 PDF格式BibTeX公司 XML格式引用 \textit{P.Jipsen}等人,代数大学。82,第4期,第57号论文,23页(2021年;Zbl 1534.03056) 全文: 内政部 arXiv公司 链接