尼克·贝扎尼什维利;托马索·莫拉希尼 遗传结构完整的中间逻辑：通过对偶的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） 全文： 内政部 OA许可证
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利 中间逻辑的扬科夫公式和公理化技术。 （英语） 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） 全文： 内政部
马吉德·阿里扎德;阿里·比巴克 直觉逻辑中稳定公式的注记。 （英语） Zbl 1453.03001号 日志。日志。菲洛斯。 28，第2期，209-222（2019）. 审核人：瓦列里·普利斯科（莫斯科） MSC公司：03B20型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alizadeh}和\textit{A.Bibak}，日志。日志。菲洛斯。28，第2号，209--222（2019；Zbl 1453.03001） 全文： 内政部
弗雷德里克·劳里德森。 中间逻辑承认结构超连续演算。 （英语） Zbl 1494.03069号 螺柱日志。 107，第2期，247-282（2019）.MSC公司：03B55号 05年3月 03财年03 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Lauridsen}，研究日志。107，第2号，247--282（2019；Zbl 1494.03069） 全文： 内政部 OA许可证
尼克·贝扎尼什维利;迪克·德·乔恩 直觉逻辑中的稳定公式。 （英语） Zbl 1456.03052号 圣母院J.形式逻辑 59，第3号，307-324（2018）.MSC公司：03B55型 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}和\textit{D.de Jongh}，圣母院J.形式逻辑59，No.3，307--324（2018；Zbl 1456.03052） 全文： 内政部 欧几里得 链接
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;朱莉娅·伊林 Cofinal稳定逻辑。 （英语） Zbl 1403.03045号 螺柱日志。 104，第6期，1287-1317（2016）.MSC公司：03B55号 03B20型 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人，研究日志。104，编号61287-1317（2016；兹bl 1403.03045） 全文： 内政部 OA许可证
古拉姆·贝扎尼什维利 禁止的配置和子帧种类。 （英语） Zbl 1412.06012号 代数大学。 76，第2期，237-243（2016）. 审核人：亚历克斯·西特金（沃伦） MSC公司：06D20日 2015年6月 03B55号 08B05年 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}，代数大学。76、2号、237--243（2016；Zbl 1412.06012） 全文： 内政部
科什切娃，A.K。 超直觉逻辑L3中的一个新常数。 （英语。俄文原件） Zbl 1328.03007号 代数逻辑 第54页，第1期，23-35页（2015年）; 翻译自代数罗技54，第1期，34-52（2015）。MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Koshcheeva}，代数逻辑54，No.1，23-35（2015；Zbl 1328.03007）；《代数逻辑》54的译文，第1期，第34-52页（2015） 全文： 内政部
亚历克斯·西特金 特征推理规则。 （英语） Zbl 1377.03053号 日志。Univers大学。 9，第1期，27-46（2015）. 审核人：朱尼斯·切鲁利斯（里加） MSC公司：03G27号 03B55号 08A55号 PDF格式BibTeX公司 XML格式引用 \textit{A.Citkin}，日志。Univers大学。9、第1号、第27-46号（2015；Zbl 1377.03053） 全文： 内政部
弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 关于Blok-Esakia定理。 （英语） Zbl 1350.03022号 Bezhanishvili，Guram（编辑），Leo Esakia关于模态逻辑和直觉主义逻辑的二重性。多德雷赫特：施普林格（ISBN 978-94-017-8859-5/hbk；978-94-017-8860-1/电子书）。Logic 4的杰出贡献，99-118（2014）。MSC公司：03B45号 03B20型 06D20日 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{F.Wolter}和\textit{M.Zakharyaschev}，Outst。控制日志。4、99-118（2014年；Zbl 1350.03022） 全文： 内政部
塞尔吉奥·塞拉尼。;拉蒙·詹萨娜 Esakia对偶及其扩展。（Easkia对偶及其扩展。） （英语） Zbl 1350.03049号 Bezhanishvili，Guram（编辑），Leo Esakia关于模态逻辑和直觉主义逻辑的二重性。多德雷赫特：施普林格（ISBN 978-94-017-8859-5/hbk；978-94-017-8860-1/电子书）。《逻辑学杰出贡献》4，63-98（2014）。MSC公司：03G25号 06D20日 06年50月 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Celani}和\textit{R.Jansana}，Outst。控制日志。4、63-98（2014年；Zbl 1350.03049） 全文： 内政部
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利 规范公式\（\mathbf{wK4}\）。 （英语） Zbl 1314.03020号 版本符号。日志。 5，第4期，731-762（2012）. 审核人：Xavier Parent（卢森堡） MSC公司：03B45号 03G25号 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{N.Bezhenishvilineneneep，Rev.Symb。日志。5，第4号，731--762（2012；Zbl 1314.03020） 全文： 内政部
蝉蜕、阿加塔;尼古拉斯·加拉托斯;川崎捷瑞 FL-代数的麦克尼尔完备性。 （英语） Zbl 1259.03086号 代数大学。 66，第4405-420号（2011年）. 审核人：Osamu Sonobe（福洛尼卡） MSC公司：03G25号 03B47号 05年6月 08B15号 03B55号 06D20日 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}等人，代数大学。66，第4号，405--420（2011；Zbl 1259.03086） 全文： 内政部
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利 规范公式的代数方法：直觉主义案例。 （英语） 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） 全文： 内政部
尼克·贝扎尼什维利 基于框架的中间逻辑公式。 （英语） Zbl 1172.03019号 螺柱日志。 90，第2期，139-159（2008）. 审核人：Osamu Sonobe（福洛尼卡） MSC公司：03B55号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}，Stud.Log。90，编号2，139-159（2008年；兹bl 1172.03019） 全文： 内政部
古拉姆·贝扎尼什维利;西尔维奥·吉拉尔迪 子框架逻辑的代数方法。直觉主义案例。 （英语） Zbl 1123.03055号 Ann.纯粹应用。逻辑 147，编号1-2，84-100（2007）. 审核人：曼努埃尔·阿巴德（巴伊亚·布兰卡） MSC公司：03G25号 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{S.Ghilardi}，Ann.Pure Appl。逻辑147，编号1--2，84-100（2007；Zbl 1123.03055） 全文： 内政部
斯坦·怀纳。（编辑） 2005年7月28日至8月3日，希腊雅典，符号逻辑协会2005年夏季会议，2005年逻辑学术讨论会。 （英语） Zbl 1107.03303号 牛市。符号。日志。 12，第2期，310-361（2006）.MSC公司：03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Wainer}（编辑），公牛。符号。日志。12，第2号，310-361（2006；Zbl 1107.03303） 全文： 内政部
迈克尔·扎克哈里亚舍夫 K4的标准公式。二： Cofinal子帧逻辑。 （英语） Zbl 0884.03014号 J.塞姆。日志。 61，第2期，421-449（1996）. 审核人：V.Shekhtman（莫斯科） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Zakharyaschev}，J.Symb。日志。61，第2号，421--449（1996；Zbl 0884.03014） 全文： 内政部