编辑配置文件(在新选项卡中打开) 乔安娜·戈林斯卡·皮拉雷克 合著者距离 作者ID: 戈林斯卡·比拉雷克·乔安娜 发布日期: 乔安娜·戈林斯卡·皮拉雷克;戈林斯卡·皮拉雷克,J。;Golinska-Pilarek,J。 更多。。。较少的 外部链接: MGP公司 已编制索引的文档: 24出版物自2005年以来,包括1本书 1名编辑贡献 合著者: 8位合著者具有21联合出版物 154位合作作者 全部的 前5名合著者 4 单一作者 8 埃米利奥·穆尼奥斯·韦拉斯科 7 或者艾瓦·奥斯卡。 5 塔内利·休斯科宁 三 安杰尔·莫拉 2 Micha Zawidzki 1 大卫·布雷索林 1 Mora Bonilla,天使 1 阮林安 全部的 前5名系列 4 IGPL逻辑杂志 三 应用非经典逻辑杂志 2 Studia Logica公司 2 国际计算机数学杂志 1 模糊集与系统 1 哲学逻辑杂志 1 圣母院形式逻辑杂志 1 纯逻辑与应用逻辑年鉴 1 《数理逻辑季刊》 1 计算机基础理论 1 应用逻辑杂志 1 逻辑趋势——Studia Logica图书馆 1 对逻辑的杰出贡献 领域 25 数学逻辑和基础(03-XX) 11 计算机科学(68至XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用65中的次35文件 引用人▼ 年份▼ 双表辅助。基础、方法、案例研究。 Zbl 1210.03001号 或者鄂尔多斯卡;乔安娜·戈林斯卡·皮拉雷克 14 2011 非Fregean逻辑的扩展数。 Zbl 1086.03024号 乔安娜·戈林斯卡·皮拉雷克;塔内利·休斯科宁 7 2005 具有可忽略性、非接近性和距离的数量级定性推理逻辑的关系方法。 Zbl 1171.68043号 Golinska-Pilarek,J。;穆尼奥斯·韦拉斯科,E。 6 2009 表和对偶表:证明的转换。 Zbl 1125.03041号 乔安娜·戈林斯卡·皮拉雷克;或者鄂尔多斯卡 5 2007 非Fregean语句逻辑SCI的Rasiowa-Sikorski证明系统。 Zbl 1186.03053号 乔安娜·戈林斯卡·皮拉雷克 4 2007 带量词的非正则命题逻辑。 Zbl 1396.03070号 乔安娜·戈林斯卡·皮拉雷克;塔内利·休斯科宁 4 2016 具有双向可忽略性的数量级定性推理的多模态逻辑的对偶表。 Zbl 1181.03018号 戈林斯卡·皮拉雷克,J。;穆尼奥斯·韦拉斯科,E。 三 2009 区间时序逻辑的关系对偶表。 兹比尔1186.03035 大卫·布雷索林;乔安娜·戈林斯卡·皮拉雷克;或者鄂尔多斯卡 三 2006 关系对偶表决策过程及其在模态逻辑和直觉逻辑中的应用。 兹伯利1317.03017 乔安娜·戈林斯卡·皮拉雷克;塔内利·休斯科宁;埃米利奥·穆尼奥斯·韦拉斯科 2 2014 实现模态逻辑K的关系定理证明器。 Zbl 1229.03019号 A.莫拉。;穆尼奥斯·韦拉斯科,E。;戈林斯卡·皮拉雷克,J。 2 2011 模态逻辑K中一种新的判定有效性的演绎系统。 Zbl 1252.03027号 乔安娜·戈林斯卡·皮拉雷克;埃米利奥·穆尼奥斯·韦拉斯科;安杰尔·莫拉 2 2011 具有足够模型的非Fregean语句逻辑的数量。 Zbl 1110.03015号 乔安娜·戈林斯卡·皮拉雷克 2 2006 关于最小非Fregean Grzegorczyk逻辑。 Zbl 1392.03039号 乔安娜·戈林斯卡·皮拉雷克 2 2016 一种ExpTime表方法,用于处理名词和限定数限制,以确定描述逻辑SHOQ。 Zbl 1315.68231号 阮林安;乔安娜·戈林斯卡·皮拉雷克 2 2014 单体三角模逻辑MTL的对偶表。 Zbl 1216.03045号 乔安娜·戈林斯卡·皮拉雷克;或者鄂尔多斯卡 1 2011 相似逻辑及其对偶表。调查。 Zbl 1190.03031号 乔安娜·戈林斯卡·皮拉雷克;或者鄂尔多斯卡 1 2008 关系逻辑及其应用。 Zbl 1177.03036号 乔安娜·戈林斯卡·皮拉雷克;或者鄂尔多斯卡 1 2006 基于表的非Fregean逻辑句子恒等式判定过程。 Zbl 07437071号 乔安娜·戈林斯卡·皮拉雷克;塔内利·休斯科宁;Micha Zawidzki 1 2021 模态逻辑K的关系对偶表判定过程。 Zbl 1264.03041号 乔安娜·戈林斯卡·皮拉雷克;埃米利奥·穆尼奥斯·韦拉斯科;Mora Bonilla,天使 1 2012 格热戈奇克描述逻辑的奥秘。 Zbl 1522.03091号 乔安娜·戈林斯卡·皮拉雷克;塔内利·休斯科宁 1 2018 Ewa Orłowska,关于逻辑和计算机科学中的关系方法。 Zbl 1411.03003号 1 2018 基于表的非Fregean逻辑句子恒等式判定过程。 Zbl 07437071号 乔安娜·戈林斯卡·皮拉雷克;塔内利·休斯科宁;Micha Zawidzki 1 2021 格热戈奇克描述逻辑的奥秘。 Zbl 1522.03091号 乔安娜·戈林斯卡·皮拉雷克;塔内利·休斯科宁 1 2018 Ewa Orłowska,关于逻辑和计算机科学中的关系方法。 Zbl 1411.03003号 1 2018 带量词的非正则命题逻辑。 Zbl 1396.03070号 乔安娜·戈林斯卡·皮拉雷克;塔内利·休斯科宁 4 2016 关于最小非Fregean Grzegorczyk逻辑。 Zbl 1392.03039号 乔安娜·戈林斯卡·皮拉雷克 2 2016 关系对偶表决策过程及其在模态逻辑和直觉逻辑中的应用。 兹伯利1317.03017 乔安娜·戈林斯卡·皮拉雷克;塔内利·休斯科宁;埃米利奥·穆尼奥斯·韦拉斯科 2 2014 一种ExpTime表方法,用于处理名词和限定数限制,以确定描述逻辑SHOQ。 Zbl 1315.68231号 阮林安;乔安娜·戈林斯卡·皮拉雷克 2 2014 模态逻辑K的关系对偶表判定过程。 Zbl 1264.03041号 乔安娜·戈林斯卡·皮拉雷克;埃米利奥·穆尼奥斯·韦拉斯科;Mora Bonilla,天使 1 2012 双表辅助。基础、方法、案例研究。 Zbl 1210.03001号 或者鄂尔多斯卡;乔安娜·戈林斯卡·皮拉雷克 14 2011 实现模态逻辑K的关系定理证明器。 Zbl 1229.03019号 A.莫拉。;穆尼奥斯·韦拉斯科,E。;戈林斯卡·皮拉雷克,J。 2 2011 模态逻辑K中一种新的判定有效性的演绎系统。 Zbl 1252.03027号 乔安娜·戈林斯卡·皮拉雷克;埃米利奥·穆尼奥斯·韦拉斯科;安杰尔·莫拉 2 2011 单体三角模逻辑MTL的对偶表。 Zbl 1216.03045号 乔安娜·戈林斯卡·皮拉雷克;或者鄂尔多斯卡 1 2011 具有可忽略性、非接近性和距离的数量级定性推理逻辑的关系方法。 Zbl 1171.68043号 Golinska-Pilarek,J。;穆尼奥斯·韦拉斯科,E。 6 2009 具有双向可忽略性的数量级定性推理的多模态逻辑的对偶表。 Zbl 1181.03018号 戈林斯卡·皮拉雷克,J。;穆尼奥斯·韦拉斯科,E。 三 2009 相似逻辑及其对偶表。调查。 Zbl 1190.03031号 乔安娜·戈林斯卡·皮拉雷克;或者鄂尔多斯卡 1 2008 表和对偶表:证明的转换。 Zbl 1125.03041号 乔安娜·戈林斯卡·皮拉雷克;或者鄂尔多斯卡 5 2007 非Fregean语句逻辑SCI的Rasiowa-Sikorski证明系统。 Zbl 1186.03053号 乔安娜·戈林斯卡·皮拉雷克 4 2007 区间时序逻辑的关系对偶表。 兹比尔1186.03035 大卫·布雷索林;乔安娜·戈林斯卡·皮拉雷克;或者鄂尔多斯卡 三 2006 具有足够模型的非Fregean语句逻辑的数量。 Zbl 1110.03015号 乔安娜·戈林斯卡·皮拉雷克 2 2006 关系逻辑及其应用。 Zbl 1177.03036号 乔安娜·戈林斯卡·皮拉雷克;或者鄂尔多斯卡 1 2006 非Fregean逻辑的扩展数。 Zbl 1086.03024号 乔安娜·戈林斯卡·皮拉雷克;塔内利·休斯科宁 7 2005 所有引用出版物 前5名被引用出版物 全部的 前5名33位作者引用 11 乔安娜·戈林斯卡·皮拉雷克 6 塔内利·休斯科宁 6 埃米利奥·穆尼奥斯·韦拉斯科 5 或者艾瓦·奥斯卡。 4 曼纽尔·奥杰达·阿西戈 三 阿尔弗雷多·布里耶扎 三 希蒙·克莱博夫斯基 三 安杰尔·莫拉 2 沃伊切赫·Krysztofiak 1 菲利普·巴尔比亚尼 1 大卫·布雷索林 1 坎通·多梅尼科 1 Cucala,David Tena,大卫·特纳 1 伯纳多·昆卡·格劳 1 玛尔塔·加威克 1 Aleksandr Sergeevich,Gerasimov 1 伊恩·霍洛克斯 1 马特乌斯·伊格纳扎克 1 安德烈·沃伊切赫·扬科夫斯基(Andrzej Wojciech Jankowski) 1 艾蒂安·凯尔(Etienne E.Kerre)。 1 多罗塔·莱斯琴斯卡·贾西翁 1 尼科拉斯·马德里 1 米哈利德亚克,塔马斯 1 内格里,萨拉 1 阮林安 1 Marianna尼科洛西·阿斯蒙多 1 安娜·玛丽亚·拉齐科夫斯卡 1 英格丽德·雷维茨基 1 Gennady Shtakser公司 1 安德烈·斯科伦 1 萨瓦斯,安杰伊 1 阿加塔·托姆奇克 1 Micha Zawidzki 全部的 前5名18篇连载文章中引用 4 国际计算机数学杂志 三 Studia Logica公司 三 应用非经典逻辑杂志 2 模糊集与系统 2 纯逻辑与应用逻辑年鉴 2 应用逻辑杂志 2 形式化数学 1 人工智能 1 圣母院形式逻辑杂志 1 逻辑历史与哲学 1 自动推理杂志 1 逻辑、语言与信息杂志 1 《数理逻辑季刊》 1 Matematicheskie Trudy公司 1 科学基础 1 国际不确定性、模糊性和基于知识的系统杂志 1 泛逻辑 1 数学古物 全部的 前5名在6个字段中引用 31 数学逻辑和基础(03-XX) 14 计算机科学(68至XX) 2 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的引文