G.贝扎尼什维利。;费尔南德斯·杜克(D.Fernández-Duque)。 拜尔闭包及其逻辑。 (英语) Zbl 07827878号 J.塞姆。日志。 89,编号1,27-49(2024).MSC公司:03B45 54E52型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{D.Fernández-Duque},J.Symb。日志。89,编号1,27-49(2024;Zbl 07827878) 全文: 内政部 arXiv公司 OA许可证
马可·阿巴迪尼;古拉姆·贝扎尼什维利;卢卡·卡莱 将de Vries对偶推广到紧Hausdorff空间之间的闭关系。 (英语) Zbl 1528.54005号 拓扑应用程序。 337,文章ID 108641,22 p.(2023). 审核人:徐小泉(漳州) MSC公司:54B30型 54天30分 54G05号 18楼70 2015年6月 18B10型 18E08型 PDF格式BibTeX公司 XML格式引用 \textit{M.Abbadini}等人,拓扑应用。337,文章ID 108641,22 p.(2023;Zbl 1528.54005) 全文: 内政部 arXiv公司 OA许可证
古拉姆·贝扎尼什维利;卢卡·卡莱 一元直觉量词的时间解释。 (英语) Zbl 1518.03003号 版本符号。日志。 16,第1期,164-187(2023). 审核人:格里戈里·奥尔霍维科夫(波鸿) MSC公司:03B44号 03B45 03B55号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{L.Carai},Rev.Symb。日志。16,编号1,164--187(2023;Zbl 1518.03003) 全文: 内政部 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) 全文: 内政部
古拉姆·贝扎尼什维利;卡拉,卢卡;帕特里克·J·莫兰迪。 连续函数环上的模态算子。 (英语) Zbl 07620692号 J.塞姆。日志。 87,第4期,1322-1348(2022).MSC公司:03B45 54立方30 2015年2月6日 06E25年 2015年6月 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,J.Symb。日志。87,编号4,1322--1348(2022;Zbl 07620692) 全文: 内政部 arXiv公司
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;吉姆·德·格罗特 邻域框架二重性的联合方法。 (英语) Zbl 07577568号 日志。方法计算。科学。 18,第3号,第4号论文,39页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,日志。方法计算。科学。18,第3号,第4号论文,39页(2022;Zbl 07577568) 全文: arXiv公司 链接
G.贝扎尼什维利。;北贝扎尼什维利。;T·莫拉希尼。;斯特龙科斯基,M。 Heyting代数谱的完备性和表示性。 (英语) Zbl 07408029号 高级数学。 391,文章ID 107959,47 p.(2021).MSC公司:06D20日 30楼06号 2015年6月 03B55号 54个F05 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,高级数学。391,文章ID 107959,47 p.(2021;Zbl 07408029) 全文: 内政部 arXiv公司 OA许可证
G.贝扎尼什维利。;北贝扎尼什维利。;卢塞罗·布莱恩,J。;范·密尔,J。 拓扑和模态逻辑中的树状结构。 (英语) Zbl 1500.03005号 架构(architecture)。数学。逻辑 60,编号3-4,265-299(2021). 审核人:豪尔赫·皮卡多(科英布拉) MSC公司:03B45 54G05号 54十国集团 54国集团12 54天35分 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,Arch。数学。逻辑60,编号3--4,265--299(2021;Zbl 1500.03005) 全文: 内政部 链接
G.贝扎尼什维利。;北卡罗来纳州贝扎尼什维利。;桑托利,T。;Y·维内马。 紧Hausdorff空间的严格蕴涵演算。 (英语) Zbl 1446.03041号 Ann.纯粹应用。逻辑 170,第11号,文章ID 102714,29 p.(2019). 审核人:Osamu Sonobe(卵泡) MSC公司:03B45 2015年6月 06E25年 54E05型 54G05号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,Ann.Pure Appl。Logic 170,No.11,文章ID 102714,29 p.(2019;Zbl 1446.03041) 全文: 内政部
古拉姆·贝扎尼什维利;卫斯理·H·霍利迪。 直觉逻辑的语义层次结构。 (英语) Zbl 07049867号 印度。数学。,新序列号。 30,第3期,403-469(2019).MSC公司:03B20型 03G10年 06D20日 2012年2月6日 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{W.H.Holliday},印第安纳州。数学。,新序列号。30,第3号,403--469(2019;Zbl 07049867) 全文: 内政部 链接 反向链接: 卫生官员
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;乔尔·卢塞罗·布莱恩;范·密尔,简 关于由分散的局部紧Hausdorff空间产生的模态逻辑。 (英语) Zbl 1472.03015号 Ann.纯粹应用。逻辑 170,第5号,558-577(2019).MSC公司:03B45 03B55号 2015年6月 54D45号 54国集团12 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,Ann.Pure Appl。逻辑170,No.5,558--577(2019;Zbl 1472.03015) 全文: 内政部 链接
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;朱莉娅·伊林 稳定模态逻辑。 (英语) Zbl 1522.03048号 版本符号。日志。 11,第3期,436-469(2018).MSC公司:03B45 03B20型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,Rev.Symb。日志。11,第3号,436--469(2018;Zbl 1522.03048) 全文: 内政部
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;乔尔·卢塞罗·布莱恩;Van Mill,简 Tychonoff HED-空间和\(mathsf{S4.3}\)的Zemanian扩张。 (英语) Zbl 1522.03049号 版本符号。日志。 11,第1期,115-132(2018).MSC公司:03B45 54G05号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,Rev.Symb。日志。11,编号115-132(2018;兹bl 1522.03049) 全文: 内政部
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;乔尔·卢塞罗·布莱恩;范·密尔,简 模态逻辑中的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) 全文: 内政部 链接
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;苏米特·苏拉布;维尼马,伊德 不可约等价关系、格里森空间和德弗里斯对偶。 (英语) Zbl 1425.54006号 申请。类别。结构。 25,第3期,381-401(2017).MSC公司:54B30型 03B45 2015年6月 54G05号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,应用。类别。结构。25,第3号,381--401(2017;Zbl 1425.54006) 全文: 内政部 OA许可证
马可·艾略;古拉姆·贝扎尼什维利;伊莎贝尔·布洛赫;瓦伦丁·戈兰科 物理空间的逻辑。从古至今。 (英语) Zbl 1275.03068号 合成 186,第3期,619-632(2012).MSC公司:03A10号 03B45 81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.Aiello}等人,Synthese 186,No.3,619--632(2012;Zbl 1275.03068) 全文: 内政部 OA许可证
古拉姆·贝扎尼什维利;乔尔·卢塞罗·布莱恩 关于有理数子空间的(d)-逻辑的更多内容。 (英语) Zbl 1271.03027号 圣母院J.形式逻辑 53,第3期,319-345(2012). 审核人:伯恩哈德·海尼曼(黑根) MSC公司:03B45 54国集团12 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{J.Lucero-Bryan},圣母院J.形式逻辑53,No.3,319--345(2012;Zbl 1271.03027) 全文: 内政部 欧几里得
古拉姆·贝扎尼什维利;乔尔·卢塞罗·布莱恩 d逻辑没有FMP的\(\mathbb{Q}\)的子空间。 (英语) Zbl 1257.03044号 架构(architecture)。数学。逻辑 51,编号5-6,661-670(2012). 审核人:伯恩哈德·海尼曼(黑根) MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{J.Lucero-Bryan},Arch。数学。逻辑51,编号5--6661--670(2012;Zbl 1257.03044) 全文: 内政部
古拉姆·贝扎尼什维利;约翰·哈丁 石头空间的模态逻辑。 (英语) Zbl 1259.03030号 订单 29,第2期,271-292(2012). 审核人:G.E.Mints(斯坦福) MSC公司:03B45 03B55号 05年3月 2015年6月 54E35个 54G05号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{J.Harding},第29号令,第2号,271--292(2012;Zbl 1259.03030) 全文: 内政部
古拉姆·贝扎尼什维利;大卫·加伯里亚 连接模态逻辑。 (英语) Zbl 1241.03018号 架构(architecture)。数学。逻辑 50,编号3-4287-317(2011). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B45 03B55号 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{D.Gabelaia},拱门。数学。逻辑50,No.3--4,287--317(2011;Zbl 1241.03018) 全文: 内政部