尼克·贝扎尼什维利;德米特里耶娃,安娜;吉姆·德·格罗特;托马索·莫拉希尼 超越分配性的正模态逻辑。 (英语) Zbl 07780209号 Ann.纯粹应用。逻辑 175,第2号,文章ID 103374,36页(2024). 审核人:Xavier父母(维也纳) MSC公司:03B45号 03G10年 06B15号 06年50月 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}等人,Ann.纯应用。逻辑175,第2号,文章ID 103374,36页(2024;Zbl 07780209) 全文: DOI程序 arXiv公司 OA许可证
尼克·贝扎尼什维利;托马索·莫拉希尼 遗传结构完整的中间逻辑:通过对偶的Citkin定理。 (英语) Zbl 07677355号 螺柱日志。 111,编号2,147-186(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}和\textit{T.Moraschini},Stud.Log。111,编号2,147--186(2023;Zbl 07677355) 全文: DOI程序 OA许可证
Jansana,R。;T·莫拉希尼。 所有逻辑的偏序集。二: 莱布尼茨类和层次结构。 (英语) Zbl 07657284号 J.塞姆。日志。 88,编号1,324-362(2023).MSC公司:03G27号 03C05号机组 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{R.Jansana}和\textit{T.Moraschini},J.Symb。日志。88,编号1,324--362(2023;Zbl 07657284) 全文: DOI程序 arXiv公司
托马索·莫拉希尼 关于等式完备性定理。 (英语) Zbl 07620699号 J.塞姆。日志。 87,第4期,1522-1575(2022).MSC公司:03G27号 08B05号 03B55号 03B45号 03B47型 PDF格式BibTeX公司 XML格式引用 \textit{T.Moraschini},J.Symb。日志。87,第4号,1522--1575(2022;Zbl 07620699) 全文: DOI程序 arXiv公司
琼·吉斯佩特;Zuzana Haniková;托马索·莫拉希尼;米查·斯特龙科斯基 有理常数多值逻辑的结构完备性。 (英语) Zbl 1525.03085号 圣母院J.形式逻辑 63,第3期,261-299(2022). 审核人:布鲁内拉·格拉(瓦雷斯) MSC公司:03B50号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gispert}等人,圣母院J.形式逻辑63,No.3,261--299(2022;Zbl 1525.03085) 全文: DOI程序 arXiv公司
T·莫拉希尼。;J.G.拉弗瑞。;J.J.Wannenburg。 各种亚幂等剩余结构中的同态。 (英语) Zbl 1498.03055号 代数Univers。 82,第1号,第6号论文,第26页(2021年).MSC公司:03B47号 03G25号 05年6月 03B55号 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{T.Moraschini}等人,代数大学。82,第1号,第6号论文,第26页(2021年;Zbl 1498.03055) 全文: DOI程序 arXiv公司
南部邦齐奥。;T·莫拉希尼。;普拉·巴尔迪,M。 左变量包含逻辑与矩阵的Płonka和。 (英语) Zbl 1491.03088号 架构(architecture)。数学。逻辑 60,编号1-2,49-76(2021). 审核人:亚历克斯·西特金(沃伦) MSC公司:03G27号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Bonzio}等人,Arch。数学。逻辑60,编号1--2,49-76(2021;Zbl 1491.03088) 全文: DOI程序 arXiv公司
托马索·莫拉希尼;詹姆斯·拉弗瑞。;Johann J.Wannenburg。 单生成拟变种和剩余结构。 (英语) Zbl 1521.08003号 数学。日志。问:。 66,编号2,150-172(2020).MSC公司:08C15号 03B47号 03B55号 03G25号 06D20日 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{T.Moraschini}等人,数学。日志。问66,第2号,150--172(2020;Zbl 1521.08003) 全文: DOI程序 arXiv公司
T·莫拉希尼。;J.J.Wannenburg。 Heyting代数变种中的自同态满射性。 (英语) Zbl 1457.03055号 Ann.纯粹应用。逻辑 171,第9期,文章ID 102824,30页(2020年). 审核人:亚历克斯·西特金(沃伦) MSC公司:03B55号 06D20日 18A20型 06年50月 03G27号 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{T.Moraschini}和\textit{J.Wannenburg},Ann.Pure Appl。逻辑171,第9号,文章ID 102824,30页(2020;Zbl 1457.03055) 全文: DOI程序 arXiv公司
T·莫拉希尼。;J.G.拉弗瑞。;J.J.Wannenburg。 同态、可定义性和基数。 (英语) Zbl 1442.03036号 螺柱日志。 108,第2期,255-275页(2020年). 审核人:詹姆斯·蒙克(博尔德) MSC公司:03G27号 03B22号 08A35型 08C15号 PDF格式BibTeX公司 XML格式引用 \textit{T.Moraschini}等人,研究日志。108,第2号,255--275(2020;Zbl 1442.03036) 全文: DOI程序 arXiv公司
托马索·莫拉希尼;詹姆斯·拉弗瑞。 论逻辑的普遍性。 (英语) Zbl 07104203号 代数大学。 80,第3号,第37号论文,第11页(2019年).MSC公司:03G27号 08B05号 08C15号 PDF格式BibTeX公司 XML格式引用 \textit{T.Moraschini}和\textit{J.G.Raftery},代数大学。80,第3号,第37号论文,第11页(2019年;Zbl 07104203) 全文: DOI程序 arXiv公司
彼得·辛图拉;JoséGil-Férez;托马索·莫拉希尼;弗朗西斯科·保利 结果关系的抽象方法。 (英语) Zbl 1445.03076号 版本符号。日志。 12,第2号,331-371(2019). 审核人:米克洛斯·费伦齐(布达佩斯) MSC公司:03G27号 03B22号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}等人,Rev.Symb。日志。12,第2号,331--371(2019;Zbl 1445.03076) 全文: DOI程序 arXiv公司
雨果·阿尔伯克基;字体,Josep Maria;拉蒙·詹萨纳;托马索·莫拉希尼 断言逻辑、真方程逻辑和抽象代数逻辑的层次结构。 (英语) Zbl 1459.03099号 Czelakowski,Janusz(编辑),Don Pigozzi,关于抽象代数逻辑、泛代数和计算机科学。查姆:斯普林格。Outst公司。控制日志。16, 53-79 (2018).MSC公司:03G27号 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{H.Albuquerque}等人,Outst。控制日志。16、53-79(2018年;Zbl 1459.03099) 全文: DOI程序
古拉姆·贝扎尼什维利;托马索·莫拉希尼;詹姆斯·拉弗瑞。 各种剩余结构中的同态。 (英语) Zbl 1423.03064号 J.代数 492, 185-211 (2017).MSC公司:03B47号 03B55号 06D20日 05年6月 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,J.Algebra 492,185--211(2017;Zbl 1423.03064) 全文: DOI程序 arXiv公司 链接