尼克·贝扎尼什维利;卡拉,卢卡;西尔维奥·吉拉尔迪;露西娅·兰迪 (\Pi_2)推理规则的可容许性:插值、模型完成和接触代数。 (英语) Zbl 07601551号 Ann.纯粹应用。逻辑 174,第1号,文章ID 103169,第31页(2023).MSC公司:03B45号 03C10号机组 06E25年 54E05型 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}等人,Ann.Pure Appl。逻辑174,第1号,文章ID 103169,31页(2023;Zbl 07601551) 全文: 内政部 arXiv公司
贝扎尼什维利,古拉姆;尼克·贝扎尼什维利 中间逻辑的扬科夫公式和公理化技术。 (英语) Zbl 07672616号 亚历克斯(编辑)Citkin等人,V.A.Yankov,关于非经典逻辑、历史和数学哲学。查姆:斯普林格。Outst公司。控制日志。24, 71-124 (2022).MSC公司:03B55号 06D20日 2015年6月 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{N.Bezhenishvili{,Outst。控制日志。24、71——124(2022年;Zbl 07672616) 全文: 内政部
G.贝扎尼什维利。;北卡罗来纳州贝扎尼什维利。;T·莫拉希尼。;斯特龙科斯基,M。 Heyting代数谱的完备性和表示性。 (英语) Zbl 07408029号 高级数学。 391,文章ID 107959,47 p.(2021).MSC公司:6月20日 06分30秒 2015年6月 03B55号 54个F05 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,高级数学。391,文章ID 107959,47 p.(2021;Zbl 07408029) 全文: 内政部 arXiv公司 OA许可证
贝扎尼什维利,古拉姆;尼克·贝扎尼什维利;乔尔·卢塞罗·布莱恩;范·密尔,简 模态逻辑中的Krull维数。 (英语) Zbl 1421.03007号 J.塞姆。日志。 82,第4期,1356-1386(2017).MSC公司:03B45号 06E25年 06D20日 54英尺45英寸 54B17号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,J.Symb。日志。82,No.4,1356---1386(2017;Zbl 1421.03007) 全文: 内政部 链接
贝扎尼什维利,古拉姆;尼克·贝扎尼什维利;朱莉娅·伊林 Cofinal稳定逻辑。 (英语) 兹比尔1403.03045 螺柱日志。 104,第6期,1287-1317(2016).MSC公司:03B55号 03B20型 6月20日 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,研究日志。104、6号、1287--1317(2016;Zbl 1403.03045) 全文: 内政部 OA许可证
贝扎尼什维利,古拉姆;尼克·贝扎尼什维利 规范公式的代数方法:直觉主义案例。 (英语) Zbl 1183.03065号 版本符号。日志。 2,第3期,517-549(2009). 审核人:弗洛伦蒂娜·奇尔特什(克雷奥瓦) MSC公司:03G25号 03B55号 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{N.Bezhenishvilineneneep,Rev.Symb。日志。2,第3号,517--549(2009;Zbl 1183.03065) 全文: 内政部