编辑配置文件(在新选项卡中打开) 阿列克谢·于穆拉维茨基(Alexei Yu Muravitsky)。 合著者距离 作者ID: 穆拉维茨基.alexei-yu 发布日期: Muravitskij,A.Yu。;阿列克谢·穆拉维茨基;阿列克谢·穆拉维茨基。;阿列克谢·于穆拉维茨基(Alexei Yu Muravitsky)。;穆拉维茨基,A.Yu。 更多。。。较少的 外部链接: MGP公司 已编制索引的文档: 41出版物自1980年以来,包括1本书和8份额外的arXiv预印本 1名编辑贡献 合著者: 4位合著者具有10联合出版物 9位合作作者 合著者 32 单作者的 5 亚历克斯·西特金 三 库兹涅佐夫(Aleksander Vladimirovich) 1 G.I.格兰特。 1 尤里·卡卢兹尼 全部的 前5名系列 6 泛逻辑 4 数学笔记 三 应用非经典逻辑杂志 2 代数与逻辑 1 马特马提切斯基?扎梅特基 1 代数i Logika 1 Akademiya Nauk MoldavskoĭSSR公司。Ordena Trudovogo Krasnogo Znameni Institute Matematiki的Vychislitel'nym Tsentrom。Matematicheskie Issledovaniya公司 1 MatematicheskiĭSbornik。诺瓦亚·塞里亚 1 圣母院形式逻辑杂志 1 西伯利亚数学杂志 1 苏联数学。多克拉迪 1 Studia Logica公司 1 苏联数学 1 摩尔多瓦共和国Buletinul Academiei deȘtiințe a Republicii Moldova。Matematica公司 1 计算机基础理论 1 牛津逻辑指南 领域 38 数理逻辑与基础(03-XX) 4 计算机科学(68至XX) 三 阶、格、有序代数结构(06-XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 17出版物有被引用49中的次30文件 引用人▼ 年份▼ 关于作为证明逻辑扩展片段的超直觉逻辑。 Zbl 0623.03027号 库兹涅佐夫。;Muravitskij,A.Yu。 11 1986 逻辑知识管理:传记。 Zbl 1350.03015号 阿列克谢·穆拉维茨基 9 2014 嵌入定理:它的进一步发展和结果。一、。 Zbl 1130.03018号 阿列克谢·穆拉维茨基。 4 2006 积分的有限逼近性和无模型扩张的存在性。 Zbl 0484.03009号 Muravitskij,A.Yu。 4 1981 基于贝尔纳普四值逻辑的知识表示。 Zbl 0822.68107号 尤里·卡鲁兹尼;阿列克谢·于穆拉维茨基(Alexei Yu Muravitsky)。 三 1993 作为形式的Provability。 Zbl 0535.03008号 库兹涅佐夫。;穆拉维茨基,A.Yu。 三 1980 后果关系。Lindenbaum-Tarski方法简介。 Zbl 1530.03003号 亚历克斯·西特金;阿列克谢·穆拉维茨基 2 2022 直觉主义可证明逻辑的扩展与可证明逻辑扩展之间的对应。 兹伯利0598.03011 Muravitskij,A.Yu。 2 1985 可证明直觉逻辑的扩展与可证明逻辑的扩展的对应。 Zbl 0711.03027号 Muravitskij,A.Yu。 2 1989 Magari和(Delta)-伪布尔代数。 Zbl 0721.06014号 Muravitskij,A.Yu。 2 1990 直觉可证演算分离性质的代数证明。 Zbl 0632.03017号 Muravitskij,A.Yu。 1 1988 基于知识的系统框架。 Zbl 0868.68104号 阿列克谢·于穆拉维茨基(Alexei Yu Muravitsky)。 1 1996 从嵌入定理的观点来看,格NExtS4。 Zbl 1429.03085号 阿列克谢·穆拉维茨基 1 2018 超越拉西奥万系统:单位演绎系统。 Zbl 1345.03018号 阿列克谢·穆拉维茨基。 1 2014 关于具有降链条件的代数可逼近的超直觉逻辑。 Zbl 0542.03012号 Muravitskij,A.Yu。 1 1984 经典逻辑中的满足关系和友好关系:证明理论方法。 Zbl 1236.03012号 阿列克谢·Y·穆拉维茨基。 1 2009 四个逻辑扩展格的互连。 Zbl 1420.03039号 阿列克谢·穆拉维茨基。 1 2017 后果关系。Lindenbaum-Tarski方法简介。 Zbl 1530.03003号 亚历克斯·西特金;阿列克谢·穆拉维茨基 2 2022 从嵌入定理的观点来看,格NExtS4。 Zbl 1429.03085号 阿列克谢·穆拉维茨基 1 2018 四个逻辑扩展格的互连。 Zbl 1420.03039号 阿列克谢·Y·穆拉维茨基。 1 2017 逻辑知识管理:传记。 Zbl 1350.03015号 阿列克谢·穆拉维茨基 9 2014 超越拉西奥万系统:单位演绎系统。 Zbl 1345.03018号 阿列克谢·穆拉维茨基。 1 2014 经典逻辑中的满足和友好关系:证明理论方法。 Zbl 1236.03012号 阿列克谢·穆拉维茨基。 1 2009 嵌入定理:它的进一步发展和结果。一、。 Zbl 1130.03018号 阿列克谢·Y·穆拉维茨基。 4 2006 基于知识的系统框架。 Zbl 0868.68104号 阿列克谢·于穆拉维茨基(Alexei Yu Muravitsky)。 1 1996 基于Belnap四值逻辑的知识表示。 Zbl 0822.68107号 尤里·卡鲁兹尼;阿列克谢·于穆拉维茨基(Alexei Yu Muravitsky)。 三 1993 Magari和(Delta)-伪布尔代数。 Zbl 0721.06014号 Muravitskij,A.Yu。 2 1990 可证明直觉逻辑的扩展与可证明逻辑的扩展的对应。 Zbl 0711.03027号 Muravitskij,A.Yu。 2 1989 直觉可证演算分离性质的代数证明。 Zbl 0632.03017号 Muravitskij,A.Yu。 1 1988 关于作为证明逻辑扩展片段的超直觉逻辑。 Zbl 0623.03027号 库兹涅佐夫。;Muravitskij,A.Yu。 11 1986 直觉主义可证明逻辑的扩展与可证明逻辑扩展之间的对应。 Zbl 0598.03011号 Muravitskij,A.Yu。 2 1985 关于具有降链条件的代数可逼近的超直觉逻辑。 兹伯利0542.03012 Muravitskij,A.Yu。 1 1984 积分的有限逼近性和无模型扩张的存在性。 Zbl 0484.03009号 Muravitskij,A.Yu。 4 1981 作为形式的Provability。 Zbl 0535.03008号 库兹涅佐夫。;穆拉维茨基,A.Yu。 三 1980 所有引用的出版物 前5名被引用出版物 全部的 前5名30位作者引用 10 阿列克谢·于穆拉维茨基(Alexei Yu Muravitsky)。 2 何塞·路易斯·卡斯蒂格利奥尼 2 亚历克斯·西特金 2 拉里萨·勒沃夫娜·马克西莫娃 2 Aleksandr D.Yashin。 2 迈克尔·维克托洛维奇(Michael Viktorovich) 1 古拉姆·贝扎尼什维利 1 克里斯蒂娜·莱菲斯特·布兰特利 1 塞拉尼、塞尔吉奥·阿图罗 1 亚历克桑德·瓦西尔·埃维奇·查格罗夫 1 利奥·伊萨基亚 1 格里戈利亚(Grigolia)、露华兹(Revaz) 1 朱莉娅·伊林 1 拉蒙·詹萨纳 1 Mamuka A.Jibladze。 1 塔蒂亚娜·基塞洛娃 1 库兹涅佐夫(Aleksander Vladimirovich) 1 塔德乌什·利塔克 1 马卡洛夫,A.G。 1 弗拉基默·奥迪沙里亚 1 巴塔里亚、迪托 1 加布里埃拉·皮戈齐 1 圣马汀,埃尔南·J。 1 圣马丁·埃尔南·哈维尔 1 伊雷娜·西蒙诺娃(Iryna G.Simonova)。 1 MichałMarek,Stronkowski 1 亚历克西斯·苏基亚斯 1 艾丽斯·范德吉森 1 保罗·维亚皮亚尼 1 弗兰克·沃尔特 全部的 前5名11篇连载文章中引用 7 Studia Logica公司 4 泛逻辑 三 西伯利亚数学杂志 2 纯逻辑与应用逻辑年鉴 2 应用非经典逻辑杂志 1 数学笔记 1 模糊集与系统 1 符号逻辑杂志 1 逻辑科公报 1 数学与人工智能年鉴 1 软计算 全部的 前5名在7个字段中引用 24 数理逻辑与基础(03-XX) 9 阶、格、有序代数结构(06-XX) 三 计算机科学(68至XX) 2 范畴理论;同调代数(18-XX) 1 一般代数系统(08-XX) 1 一般拓扑结构(54至XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的引文