编辑配置文件（在新选项卡中打开） 卡特里娜Dutilh Novaes 合著者距离 作者ID： dutilh-novaes.catarina公司 发布日期： 卡特里娜Dutilh Novaes;Dutilh Novaes，C.公司。 已编制索引的文档： 22出版物自2004年以来，包括4本书 1名编辑贡献 合著者： 3位合著者具有3联合出版物 10位合作作者 合著者 19 单作者的 1 埃德加·安德拉德·洛特罗 1 奥勒·托马斯·霍特兰 1 埃里希·雷克。 全部的 前5名系列 5 合成 4 逻辑的历史与哲学 1 哲学逻辑杂志 1 逻辑与分析。新Série 1 逻辑、认识论与科学的统一 1 哲学科学 1 致敬 领域 23 数学逻辑和基础（03-XX） 8 历史和传记（01-XX） 三 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 18出版物有被引用89中的次77文件 引用人▼ 年份▼ 逻辑形式化的不同方式。 Zbl 1272.03017号 卡特里娜Dutilh Novaes 16 2011 逻辑中的形式语言。哲学和认知分析。 Zbl 1270.03003号 卡特里娜Dutilh Novaes 13 2012 将中世纪逻辑理论形式化。假设、结果和义务。 Zbl 1138.03001号 卡特里娜Dutilh Novaes 11 2007 重新评估逻辑系统形态和逻辑常数的划分。 Zbl 1274.03009号 卡特里娜Dutilh Novaes 10 2012 数学推理和外部符号系统。 Zbl 1283.03017号 卡特里娜Dutilh Novaes 6 2013 卡纳皮亚式的解释，作为认知工具的形式主义，以及充分形式化的悖论。 Zbl 1382.03013号 卡塔琳娜州杜蒂尔·诺瓦斯;埃里克·雷克 6 2017 中世纪和现代说谎者句子方法的比较分类。 Zbl 1156.03008号 Dutilh Novaes，C.公司。 5 2008 双重量化命题之间推理关系的布里达式解释：可靠性证明。 Zbl 1061.03008号 卡特里娜Dutilh Novaes 三 2004 布里丹的结果：基于标记的语义中的结果和推理。 Zbl 1096.03002号 卡特里娜Dutilh Novaes 三 2005 中世纪义务作为一致性维护的逻辑游戏。 Zbl 1081.03007号 Dutilh Novaes，C.公司。 三 2005 矛盾：对次协调逻辑的真正哲学挑战。 2017年3月12日 卡特里娜Dutilh Novaes 三 2007 演绎的对话根源。推理的历史、认知和哲学观点。 Zbl 1506.03002号 卡特里娜Dutilh Novaes 2 2021 有效性、挤压论证和替代语义系统：亚里士多德三段论案例。 Zbl 1272.03004号 埃德加·安德拉德·洛特罗;卡特里娜Dutilh Novaes 2 2012 演绎的对话根源。推理的历史、认知和哲学观点。重印2021年精装版。 Zbl 07660111号 卡特里娜Dutilh Novaes 2 2022 罗杰·斯文尼谢德的义务：推理识别的逻辑游戏？ Zbl 1108.03004号 卡特里娜Dutilh Novaes 1 2006 不溶物和后果。纪念斯蒂芬·里德的论文。 Zbl 1294.03012号 1 2012 Ockham作为形式语义学的假设理论。 兹比尔1460.01006 卡特里娜Dutilh Novaes 1 2018 算术公理化和一阶/二阶除法。 Zbl 1475.03089号 卡特里娜Dutilh Novaes 1 2019 演绎的对话根源。推理的历史、认知和哲学观点。重印2021年精装版。 Zbl 07660111号 卡特里娜Dutilh Novaes 2 2022 演绎的对话根源。关于推理的历史、认知和哲学观点。 Zbl 1506.03002号 卡特里娜Dutilh Novaes 2 2021 算术公理化和一阶/二阶除法。 Zbl 1475.03089号 卡塔琳娜州杜蒂尔·诺瓦斯 1 2019 Ockham作为形式语义学的假设理论。 Zbl 1460.01006号 卡特里娜Dutilh Novaes 1 2018 卡纳皮亚式的解释，作为认知工具的形式主义，以及充分形式化的悖论。 Zbl 1382.03013号 卡特里娜Dutilh Novaes;埃里克·雷克 6 2017 数学推理和外部符号系统。 Zbl 1283.03017号 卡特里娜Dutilh Novaes 6 2013 逻辑中的形式语言。哲学和认知分析。 Zbl 1270.03003号 卡特里娜Dutilh Novaes 13 2012 重新评估逻辑系统形态和逻辑常数的划分。 Zbl 1274.03009号 卡特里娜Dutilh Novaes 10 2012 有效性、挤压论证和替代语义系统：亚里士多德三段论案例。 Zbl 1272.03004号 埃德加·安德拉德·洛特罗;卡特里娜Dutilh Novaes 2 2012 不溶物和后果。纪念斯蒂芬·里德的论文。 Zbl 1294.03012号 1 2012 逻辑形式化的不同方式。 Zbl 1272.03017号 卡特里娜Dutilh Novaes 16 2011 中世纪和现代说谎者句子方法的比较分类。 Zbl 1156.03008号 Dutilh Novaes，C.公司。 5 2008 将中世纪逻辑理论形式化。假设、结果和义务。 兹比尔1138.03001 卡特里娜Dutilh Novaes 11 2007 矛盾：对次协调逻辑的真正哲学挑战。 Zbl 1230.03017号 卡特里娜Dutilh Novaes 三 2007 Roger Swyneshed的义务：推理识别的逻辑游戏？ Zbl 1108.03004号 卡特里娜Dutilh Novaes 1 2006 布里丹的结果：基于标记的语义中的结果和推理。 Zbl 1096.03002号 卡特里娜Dutilh Novaes 三 2005 中世纪义务作为一致性维护的逻辑游戏。 Zbl 1081.03007号 Dutilh Novaes，C.公司。 三 2005 双重量化命题之间推理关系的布里达式解释：可靠性证明。 Zbl 1061.03008号 卡特里娜Dutilh Novaes 三 2004 所有引用出版物 前5名被引用出版物 全部的 前5名82位作者引用 6 卡特里娜Dutilh Novaes 三 米罗斯拉夫·汉克 2 朱莉·布伦贝·乔蒙特 2 塞萨尔·弗雷德里科·多斯·桑托斯 2 路易斯·埃斯特拉达·冈萨雷斯 2 Pelland、Jean-Charles 2 阿赫蒂·韦科·彼得雷宁（Ahti-Veikko Pietarinen） 2 德克·施利姆 1 吉安·阿尔多·安东内利 1 乔纳斯·拉斐尔·贝克尔，阿伦哈特 1 尼尔·巴顿 1 弗朗西斯科·贝鲁奇 1 弗朗西斯科·贝尔托 1 卢卡什·比利克 1 安吉丽娜·谢尔盖夫娜·博布罗娃 1 托本·布吕纳 1 乔治·布伦 1 斯蒂芬·布伊斯曼 1 插入符号，Colin R。 1 沃尔特·亚历山大·卡尼埃利 1 萨卢阿查蒂 1 乔杜里，萨法鲁克·扎曼 1 马塞洛·埃斯特班（Marcelo Esteban Coniglio） 1 约翰·科科兰 1 法国达戈斯蒂尼 1 西尔维亚·德·托弗利 1 西蒙·迪迪奥 1 博格丹·迪彻 1 里贾娜·法布里。 1 埃琳娜·菲卡拉 1 布莱恩·盖恩斯（Brian R.Gaines）。 1 Gerogiorgakis，Stamatios公司 1 亚历山德罗·佐丹尼 1 Rea戈兰 1 格拉坦-吉尼斯，象牙 1 阿尼尔·库马尔·古普塔 1 雅辛·哈马米 1 安娜·索菲·海尼曼 1 托马斯·贾穆·埃克 1 马特乌斯·克洛诺夫斯基 1 沃伊切赫·Krysztofiak 1 哈维尔·莱格里斯 1 马修·马里恩 1 马丁内斯·奥尔达斯，玛丽亚·德尔·罗萨里奥 1 哈桑·马苏德 1 阿尔巴马索洛 1 约书亚·门德尔松 1 Seyed N.穆萨维安。 1 莫里茨·米勒 1 安东尼奥·尼格罗 1 罗德里戈奥奇加梅 1 卡洛斯·奥勒（Carlos A.Oller）。 1 马库斯·潘萨尔 1 迈克尔·巴帕齐安（Michael B.Papazian）。 1 莉迪亚·巴顿 1 吉尔曼·佩耶特 1 Pratt Hartmann，伊恩 1 朱塞佩·普里米埃罗 1 普鲁内斯库，米海 1 保拉·奎农 1 乔纳斯·拉布 1 沙希德·拉赫曼 1 阅读，斯蒂芬 1 埃里希·雷克。 1 格雷格·雷斯塔尔 1 海尔格·吕克特 1 吉尔·萨吉 1 凯文·沙普 1 乔治·希默尔 1 Sedlár，伊戈尔 1 吉拉·谢尔 1 尼尔斯·斯科夫加德·奥尔森 1 肖恩·斯坦德弗 1 阿尔弗雷多·斯托克 1 坦斯韦尔，芬纳·斯坦利 1 安德鲁·特德 1 萨拉·利安娜·乌克尔曼 1 冈仁北村 1 贾斯汀·弗拉西茨 1 卡里娜·沃尔德 1 大卫·瓦泽克 1 尼科尔·怀亚特 全部的 前5名13篇连载文章中引用 22 合成 22 逻辑的历史与哲学 5 符号逻辑述评 三 哲学逻辑杂志 2 美国数学学会公报。新系列 2 逻辑、语言与信息杂志 2 泛逻辑 1 圣母院形式逻辑杂志 1 塞贡达·埃波卡理论 1 符号逻辑公报 1 埃尔肯特尼斯 1 逻辑与逻辑哲学 1 科学史与哲学研究。第二部分近代物理史与哲学研究 全部的 前5名在9个字段中引用 64 数学逻辑和基础（03-XX） 29 历史和传记（01-XX） 13 总体主题；集合（00-XX） 6 数学教育（97-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 计算机科学（68至XX） 1 范畴理论；同调代数（18-XX） 1 量子理论（81-XX） 1 相对论和引力理论（83至XX） 按年份列出的引文