×

逻辑与逻辑哲学

简短标题: 日志。日志。菲洛斯。
出版商: 尼古拉·哥白尼大学人文学院逻辑系,托伦
国际标准编号: 1425-3305; 2300-9802/年
在线: http://apcz.pl/czasopisma/index.php/LLP/issue/archive
评论: 期刊;此日志可开放访问。
已编制索引的文档: 505出版物(自1993年起)
索引的引用: 195份出版物参考文献5436。
全部的 前5名

作者

10 安德烈·彼得鲁兹扎克(Andrzej Pietruszczak)
9 杰玛·罗伯斯
9 马克斯·彼得·乌尔赫斯
9 海因里希·西奥多
8 安德烈·因德泽扎克(Andrzej Indrzejczak)
7 托马斯·贾穆·埃克
7 彼得·乌科斯基
7 帕维尔·马特纳
7 雅罗斯拉夫·伊戈列维奇·彼得鲁金
7 马钦·特卡奇克
6 Giangiacomo Gerla
6 雅切克·马林诺夫斯基
5 诺里希罗·卡米德
5 帕韦·乌普科夫斯基
5 何塞·梅恩德斯。
5 谢尔盖·奥丁佐夫。
5 大森,Hitoshi
5 雅罗斯拉夫·什兰科。
5 蔡兴钦
4 迪德里克·巴滕斯
4 大卫·邦多尼
4 约瑟夫·布伦纳(Joseph E.Brenner)。
4 沃尔特·亚历山大·卡尼埃利
4 马西米利亚诺·卡拉拉
4 彼得·库利基
4 Meheus,笑话
4 马雷克·纳西涅夫斯基
4 弗朗西斯科·保利
4 杰西·佩萨诺夫斯基
4 拉克拉夫斯克,吉伊
4 丹尼尔·Rönnedal
4 查尔斯·沙伊沃德。
4 达米安·恩里克·斯穆克
4 马吕斯·乌尔班斯基
4 沃伦斯基,简
杰拉德·奥尔文
恩里克·安图内斯
珍妮·伊夫·贝齐奥
何塞·米盖尔·布兰科
丹尼尔·奇菲
贾努斯·丘西乌拉
路易斯·埃斯特拉达·冈萨雷斯
尼西姆·弗朗西兹
亚历山德罗·佐丹尼
快走,Jerzy
安娜·戈莫林斯卡
奥列格·米哈·洛维奇·格里戈列夫
拉法·格鲁什琴斯基
威廉·哈里森。
马特乌斯·克洛诺夫斯基
Sandra M.洛佩兹。
马钦·伊扎克
托马斯·莫尔曼
Krystyna,Mruczek Nasieniewska先生
安娜·彼特丽加
乌韦·谢夫勒
托马斯·斯库拉。
科杜拉,托泽卡
罗伯特·特吕普兹
阿奇尔·瓦尔齐(Achille C.Varzi)。
瓦拉盖、东村俊彦
安德烈·维希·涅夫斯基
Wójtowicz,Krzysztof
2 亚伯、杰尔·米诺罗
2 佛罗伦西奥·冈萨雷斯,阿森霍
2 兹吉斯·奥古斯丁克
2 吉安路易吉·贝林
2 埃德森·维尼希乌斯·贝泽拉
2 弗罗德·阿尔弗森·比约达尔
2 阿尔多·布雷森
2 马塞洛·埃斯特班(Marcelo Esteban Coniglio)
2 克里斯蒂娜·科波拉
2 Da Costa、Newton Carneiro Affonso
2 布鲁诺·达雷
2 约瑟夫·沃尔夫冈·德根
2 谢尔盖·德罗比舍维奇
2 理查德·爱泼斯坦。
2 唐·H·浮士德。
2 西门·弗兰科夫斯基
2 塞尔吉奥·加尔文
2 丹尼拉·格拉瓦尼科娃
2 斯坦尼斯劳·雅斯科夫斯基
2 杰里米亚·乔文·乔金(Jeremiah Joven B.Joaquin)。
2 亚历山大·斯捷潘诺维奇
2 斯坦尼斯·瓦·基祖克
2 马钦·科斯佐维
2 科瓦奇、斯雷奇科
2 库尔比斯,尼尔斯
2 沃尔夫冈·伦岑
2 劳雷亚诺·卢纳
2 保罗·马菲齐奥利
2 格热戈兹·马林诺夫斯基
2 亚历山德罗·曼蒂
2 莫蒂扎·莫尼里
2 阿列克谢·穆拉特维斯基。
2 罗马人穆拉夫斯基
2 奥德罗-乔安娜·赛普涅夫斯卡
2 费德里科·马蒂亚斯·佩洛斯
2 马蒂奥·帕斯库奇
2 杰切克·帕希·尼切克
…还有299位作者

按年份列出的出版物

zbMATH Open中包含的引文

237出版物有被引用839次中的次576文件 引用人 年份
形式上的不一致性和进化数据库。 Zbl 1005.03509号
沃尔特·卡尼埃利。;乔安·马科斯;桑德拉·德·阿莫
38
2000
不一致演绎系统的命题演算。 Zbl 1013.03004号
贾希科夫斯基,斯坦尼斯·艾
25
1999
博赫瓦尔的三值逻辑和文字并行:它们的格和函数等价。 Zbl 1477.03074号
亚历山大·卡彭科;娜塔莉亚·托莫娃
18
2017
次协调逻辑Z。Ja-si-kowski问题的可能解决方案。 Zbl 1134.03018号
珍妮·伊夫·贝齐奥
17
2006
不相容演绎系统命题演算中的讨论性连词。 Zbl 1013.03005号
贾希科夫斯基,斯坦尼斯·艾
16
1999
Ja-sh-kowski准则与三值次协调逻辑。 Zbl 1001.03029号
亚历山大·卡彭科。
16
1999
经典可反驳逻辑和极小逻辑的一类扩展。 Zbl 1034.03027号
Odintsov,S.P。
16
2001
Mereology过去和现在。 Zbl 1369.03046号
拉法·格鲁什琴斯基;阿奇尔·瓦尔齐(Achille C.Varzi)。
13
2015
统一不一致处理机制。 Zbl 1005.03508号
迪德里克·巴滕斯
12
2000
S5的超连续结石:切割消除方法。 Zbl 1372.03037号
卡贾·贝德纳斯卡;安德烈·因德泽扎克(Andrzej Indrzejczak)
12
2015
Belnapian模态逻辑的格:特殊扩展和对应。 Zbl 1396.03034号
谢尔盖·奥丁佐夫。;斯坦尼斯拉夫·斯佩兰斯基。
12
2016
布尔连接逻辑:语义和表方法。 Zbl 1458.03024号
托马斯·贾穆·埃克;雅切克·马林诺夫斯基
11
2019
证明理论背景下的弗雷格描述理论。 Zbl 1477.03238号
安德烈·因德泽扎克(Andrzej Indrzejczak)
11
2019
严格意义上的形式逻辑。语义和表格方法。 Zbl 1478.03038号
托马斯·贾穆·埃克;马特乌斯·克洛诺夫斯基
11
2020
辛提卡和克雷斯韦尔关于逻辑全知的论述。 Zbl 1134.03006号
马克·贾戈
10
2006
三值正则逻辑的自然演绎。 Zbl 1417.03181号
雅罗斯拉夫·彼得鲁金
10
2017
四值正则逻辑和单调逻辑的自然演绎。 兹比尔1456.03048
雅罗斯拉夫·彼得鲁金
10
2018
超一致性和分析性。 Zbl 1001.03031号
卡洛斯·奥勒(Carlos A.Oller)。
9
1999
一种适当的多结论蕴涵系统。 Zbl 1375.03016号
托马斯·斯科拉;安德烈·维希·涅夫斯基
9
2015
监督、依赖、分离。 Zbl 1477.03052号
劳埃德·亨伯斯通
8
2019
次协调弱Kleene逻辑的认知解释。 Zbl 1452.03070号
达米安·斯穆克。
8
2019
双教授主义的实用主义和对话式解释。一、。 Zbl 1364.03018号
吉安路易吉·贝林;马西米利亚诺·卡拉拉;丹尼尔·奇菲;亚历山德罗·曼蒂
8
2014
准一致性和塞特微积分P1。 Zbl 1372.03050号
贾努斯·丘西乌拉
8
2015
连接逻辑。概述和当前趋势。 Zbl 1458.03005号
大森,Hitoshi;海因里希·瓦辛
7
2019
超连续S5演算的多格模拟。 兹比尔1458.03012
奥列格·格里戈里耶夫;雅罗斯拉夫·彼得鲁金
7
2019
经典的血液学基本上是不可公理化的。 Zbl 1369.03068号
安德烈·彼得鲁兹扎克(Andrzej Pietruszczak)
7
2015
从真实功能的角度看理性代理。 Zbl 1369.03054号
叶卡捷琳娜·库比什基纳;Dmitry V.扎伊采夫。
7
2016
空间、点和娱乐。在无点欧几里德几何的基础上。 Zbl 1186.03019号
拉法·格鲁什琴斯基;安德烈·彼得鲁兹扎克(Andrzej Pietruszczak)
7
2009
血液学理论的可决定性。 Zbl 1186.03018号
蔡兴钦
7
2009
Kuznetsov Gerčiu和Rieger Nishimura逻辑。有限模型属性的边界。 Zbl 1173.03028号
古拉姆·贝扎尼什维利;尼克·贝扎尼什维利;迪克·德·乔恩
6
2008
关于与A.Arruda系统V1相关的逻辑。 Zbl 1001.03030号
波波夫,V.M。
6
1999
连续格和怀特海空间理论。 Zbl 0974.03011号
托马斯·莫尔曼
6
1998
最小位置演算的完备性。 Zbl 1117.03328号
托马斯·贾穆·埃克;安德烈·彼得鲁兹扎克(Andrzej Pietruszczak)
6
2004
物理学逻辑基础中的物理性质模式。 Zbl 1117.00306号
斯梅茨,索尼娅
6
2005
独白。 Zbl 1117.03018号
安德烈·彼得鲁兹扎克(Andrzej Pietruszczak)
6
2005
切入同余模态逻辑的可容许性。 Zbl 1248.03076号
安德烈·因德泽扎克(Andrzej Indrzejczak)
6
2011
通过对应分析实现强Kleene逻辑及其二进制扩展的自动证明搜索。 Zbl 1446.03055号
雅罗斯拉夫·彼得鲁金;瓦西里·沙金
6
2019
作为超内涵对象的概念。 Zbl 1321.03017号
帕维尔·马特纳
6
2014
从BDI和stit到BDI-sit逻辑。 Zbl 1159.03013号
卡罗琳·塞姆林;海因里希·瓦辛
5
2008
逻辑的演绎形式:一般理论和直觉主义案例。 Zbl 1028.03011号
彼得·乌科斯基
5
2002
安塞尔姆和拉塞尔。 Zbl 1134.03300号
马西耶·诺维基
5
2006
更多关于血液学理论的可判定性。 Zbl 1244.03054号
蔡兴钦
5
2011
谦逊的联系。 Zbl 1458.03014号
安德烈亚斯·卡普斯纳
5
2019
通过色情搜索场景生成合作问题响应。 Zbl 1407.68472号
帕韦·乌普科夫斯基;多罗塔·莱斯琴斯卡·贾西翁
5
2015
直觉主义模态的经典行为。 Zbl 1375.03022号
谢尔盖·德罗比舍维奇
5
2015
推理规则的元逻辑:语法。 Zbl 1375.03015号
亚历克斯·西特金
5
2015
动态认知逻辑与逻辑全知。 兹比尔1375.03018
拉斯穆森,马蒂亚斯·斯基珀
5
2015
琐碎的二元论和悖论的逻辑。 Zbl 1384.03017号
Jean-Yves贝齐奥
5
2016
条件义务和道义困境的自适应逻辑框架。 Zbl 1229.03020号
克里斯蒂安·斯特拉
5
2010
可能性主义和琐碎主义的模型。 Zbl 1283.03018号
路易斯·埃斯特拉达·冈萨雷斯
5
2012
瓦西里耶夫:他到底做了什么? Zbl 1004.03501号
沃伊切赫苏钦
4
1999
关于贝齐奥的逻辑Z。 Zbl 1170.03015号
大森,Hitoshi;瓦拉盖、东村俊彦
4
2008
一些用于诊断的自适应逻辑。 Zbl 1117.03327号
迪德里克·巴滕斯;Meheus,笑话;达格玛·普罗维金;丽莎·弗霍芬
4
2003
模态混合逻辑。 Zbl 1145.03009号
安德烈·因德泽扎克(Andrzej Indrzejczak)
4
2007
问题的算法理论。建设性和非建设性的方法。 Zbl 1417.03124号
伊沃·佩兹拉
4
2017
非二价概率定律。 兹伯利1134.03017
约翰·坎特威尔
4
2006
走向直觉主义动态逻辑。 Zbl 1129.03015号
德根,J.W。;J.M.沃纳。
4
2006
在图灵测试中探索审问者视角的正式方法。 Zbl 1244.03023号
帕韦·乌普科夫斯基
4
2011
论Łukasiewicz四值模态逻辑的公理化。 Zbl 1261.03090号
马钦·特卡奇克
4
2011
可变共享属性的一类更简单的逻辑矩阵。 Zbl 1254.03045号
杰玛·罗伯斯;何塞·梅恩德斯。
4
2011
相关连接逻辑。 Zbl 1458.03019号
尼西姆·弗朗西兹
4
2019
莱布尼茨的一致性定律和关联逻辑的哲学基础。 Zbl 1458.03009号
沃尔夫冈·伦岑
4
2019
走向连接逻辑中两种方法之间的桥梁。 Zbl 1458.03016号
大森,Hitoshi
4
2019
皮尔士的三元逻辑及其(被忽视的)连接扩展。 Zbl 1517.03022号
亚历克斯·贝里科夫
4
2021
Gödel三值逻辑G3的简单Henkin型完备性证明。 兹伯利1364.03038
杰玛·罗伯斯
4
2014
基本逻辑和直觉逻辑的邻域语义。 Zbl 1375.03014号
莫蒂扎·莫尼里;Shirmohammadzadeh Maleki,法特梅
4
2015
四值相关逻辑BN4和E4的关系语义。 Zbl 1396.03040号
杰玛·罗伯斯;何塞·布兰科。;Sandra M.洛佩兹。;Jesüs R.Paradela。;马科斯·M·雷西奥。
4
2016
设置理论数学。 Zbl 1369.03047号
乔尔·戴维·哈姆金斯;木本菊池
4
2016
弱位置结石中的阴性。 兹比尔1321.03047
马钦·特卡奇克
4
2013
基于布尔代数的道义行为逻辑系统。 Zbl 1239.03012号
罗伯特·特吕普兹;彼得·库利基
4
2010
一些非常弱的模态逻辑的简化Kripke风格语义。 Zbl 1222.03026号
安德烈·彼得鲁兹扎克(Andrzej Pietruszczak)
4
2010
对称逻辑和对偶次协调逻辑。 Zbl 1227.03034号
诺里希罗·卡米德;海因里希·瓦辛
4
2010
对立的抽象逻辑。 Zbl 1283.03026号
Fabien Schang先生
4
2012
命题不一致自适应逻辑的算法性质。 Zbl 1283.03059号
谢尔盖·奥丁佐夫。;斯坦尼斯拉夫·斯佩兰斯基。
4
2012
自由定描述理论——连续结石和切口消除。 Zbl 1478.03077号
安德烈·因德泽扎克(Andrzej Indrzejczak)
4
2020
一个有无数想法的头脑。 Zbl 1152.03301号
亚历山大·西特金
2008
直觉逻辑中一个命题变量的Solovay形式公式。 Zbl 1157.03040号
利奥·伊萨基亚;格里戈利亚(Grigolia)、露华兹(Revaz)
2008
首选项作为不一致重解器:不一致自适应逻辑PRL。 Zbl 1005.03513号
圭多·瓦纳克尔
2000
推理超一致性。 Zbl 1005.03031号
格热戈兹·马林诺夫斯基
2000
准矩阵逻辑作为可疑信息的次一致逻辑。 兹比尔1005.03511
于伊夫列夫。五、。
2000
成分不是问题。 Zbl 0978.03024号
威尔弗里德·霍奇斯
1998
关于空间的推理:洞的故事。 Zbl 0983.03008号
阿奇尔·瓦尔齐(Achille C.Varzi)。
1996
逻辑可能很简单。逻辑、同余和代数。 Zbl 0985.03006号
珍妮·伊夫·贝齐奥
1997
科拉茨推测。数学问题解决案例研究。 Zbl 1117.00304号
让·保罗·范本德根
2005
逻辑的演绎还原形式:直觉S4模态。 Zbl 1028.03012号
彼得·乌科斯基
2002
贾希科夫斯基讨论逻辑的新公理化。 Zbl 1028.03020号
弗拉基米尔·瓦西约科夫。
2001
包含Routey和Meyer's Logic B的BN4和E4变体的Belnap-Dunn语义。 Zbl 07499529号
Sandra M.洛佩兹。
2022
合理的举证责任。断言和假设。 Zbl 1417.03136号
丹尼尔·奇菲;Fabien Schang先生
2017
推理的五种理论:相互联系和在数学中的应用。 Zbl 1244.03028号
艾莉森·皮斯;安德鲁·阿伯丁
2011
概念和衍生系统。 兹比尔1244.03030
拉克拉夫斯克,吉伊;彼得·库希卡
2011
连接条件逻辑。一、。 Zbl 1458.03017号
海因里希·瓦辛;马提亚斯·优特胡伯
2019
关于古典mereology的三个公理系统。 Zbl 1477.03020号
阿奇尔·瓦尔齐(Achille C.Varzi)。
2019
对时间逻辑和模态逻辑的思考。 Zbl 1375.03019号
理查德·爱泼斯坦。
2015
关于一阶水文理论模型的注释。 Zbl 1369.03080号
蔡兴钦
2015
基于区域的二维连续统:欧几里德案例。 Zbl 1372.03026号
杰弗里·赫尔曼;斯图尔特·夏皮罗
2015
混合逻辑的简单截消证明。 Zbl 1377.03051号
安德热伊·因德泽扎克
2016
部分和亚一致三值逻辑。 Zbl 1402.03031号
文森特·德高基尔
2016
二元论案例。 Zbl 1384.03077号
马钦·特卡奇克
2016
Sweet SIXTEEN:通过嵌入经典高阶逻辑实现自动化。 Zbl 1373.03030号
亚历山大·斯蒂恩;克里斯托夫·本兹穆勒
2016
为什么极简主义基础中的拓扑必须是无点的。 Zbl 1341.03097号
玛丽亚·艾米莉亚·梅埃蒂;乔瓦尼·桑宾
2013
免疫逻辑并不是那么免疫。 Zbl 07706071号
杰里迈亚·乔文
1
2023
重新审视条件概率的条件解释。 Zbl 07706072号
雅库布·Węgrecki;莱泽克·兰斯基
1
2023
包含Routey和Meyer's Logic B的BN4和E4变体的Belnap-Dunn语义。 兹比尔07499529
Sandra M.洛佩兹。
2022
EF4、EF4-M和EF4-Ł:BN4和两模态四值系统的伴侣,没有强\321]ukasiewicz型模态悖论。 Zbl 07499531号
何塞·米盖尔·布兰科
1
2022
皮尔士的三元逻辑及其(被忽视的)连接扩展。 Zbl 1517.03022号
亚历克斯·贝里科夫
4
2021
不相交逻辑。 Zbl 1517.03025号
费德里科·佩洛斯
2
2021
直觉主义正自由逻辑中的明确描述。 Zbl 1517.03010号
库尔比斯,尼尔斯
2
2021
关联逻辑和关联语义。历史、哲学应用和一些技术问题。 Zbl 1496.03008号
托马斯·贾穆·埃克;弗朗西斯科·保利
1
2021
相关逻辑的历史。起源和研究方向。 Zbl 1496.03004号
马特乌斯·克洛诺夫斯基
1
2021
纯变量包含逻辑。 Zbl 1496.03117号
弗朗西斯科·保利;米歇尔·普拉·巴尔迪;达米安·斯穆克
1
2021
非正规模态逻辑和道义逻辑的序列演算和插值。 Zbl 1517.03018号
奥兰德利,尤金尼奥
1
2021
三值次协调集理论的扭曲值模型。 兹比尔1517.03039
沃尔特·卡尼埃利。;马塞洛·科尼格里奥(Marcelo E.Coniglio)。
1
2021
最少逻辑的对话游戏。 Zbl 1517.03040号
亚历山德拉·巴甫洛娃
1
2021
带有Tarski、Kuratowski和Halmos运算符的模态多晶格逻辑。 Zbl 1517.03016号
奥列格·格里戈里耶夫;雅罗斯拉夫·彼得鲁金
1
2021
严格意义上的形式逻辑。语义和表格方法。 Zbl 1478.03038号
托马斯·贾穆·埃克;马特乌斯·克洛诺夫斯基
11
2020
自由定描述理论——顺序计算和切割消除。 Zbl 1478.03077号
安德烈·因德泽扎克(Andrzej Indrzejczak)
4
2020
多连接逻辑。 Zbl 1478.03054号
尼西姆·弗朗西兹
2
2020
Beall-ing\(\mathbb{O}\)。 Zbl 1479.03004号
杰里迈亚·乔文
2
2020
社会本体论逻辑与Ł奥斯算子。 Zbl 1478.03011号
雅切克·马林诺夫斯基;科兹兹托夫·彼得罗维奇(Krzysztof Pietrowicz);乔安娜·萨拉查·贾穆·埃克
2
2020
对规范冲突的现实看法。 Zbl 1478.03037号
丹尼拉·格拉瓦尼科娃;马蒂奥·帕斯库奇
2
2020
经典条件逻辑框架中的显式条件。 Zbl 1478.03039号
克劳迪奥·埃尔科尔·安东尼奥·皮齐
1
2020
关于系统CB\(^1\)和准一致性结石的一个格。 Zbl 1478.03053号
贾努斯·丘西乌拉
1
2020
Kilwardby的55节课。 Zbl 1478.03009号
沃尔夫冈·伦岑
1
2020
布尔连接逻辑:语义和表方法。 Zbl 1458.03024号
托马斯·贾穆·埃克;雅切克·马林诺夫斯基
11
2019
证明理论背景下的弗雷琴描述理论。 Zbl 1477.03238号
安德烈·因德泽扎克(Andrzej Indrzejczak)
11
2019
监督、依赖、分离。 Zbl 1477.03052号
劳埃德·亨伯斯通
8
2019
次协调弱Kleene逻辑的认知解释。 Zbl 1452.03070号
达米安·斯穆克。
8
2019
连接逻辑。概述和当前趋势。 Zbl 1458.03005号
大森,Hitoshi;海因里希·瓦辛
7
2019
超连续S5演算的多格模拟。 兹比尔1458.03012
奥列格·格里戈里耶夫;雅罗斯拉夫·彼得鲁金
7
2019
通过对应分析实现强Kleene逻辑及其二进制扩展的自动证明搜索。 Zbl 1446.03055号
雅罗斯拉夫·彼得鲁金;瓦西里·沙金
6
2019
谦逊的联系。 Zbl 1458.03014号
安德烈亚斯·卡普斯纳
5
2019
相关连接逻辑。 Zbl 1458.03019号
尼西姆·弗朗西兹
4
2019
莱布尼茨的一致性定律和关联逻辑的哲学基础。 Zbl 1458.03009号
沃尔夫冈·伦岑
4
2019
走向连接逻辑中两种方法之间的桥梁。 Zbl 1458.03016号
大森,Hitoshi
4
2019
连接条件逻辑。一、。 Zbl 1458.03017号
海因里希·瓦辛;马提亚斯·优特胡伯
2019
关于古典mereology的三个公理系统。 Zbl 1477.03020号
阿奇尔·瓦尔齐(Achille C.Varzi)。
2019
就其本身而言情态与自然蕴涵——罗伯特·基尔沃德比的关联逻辑。 Zbl 1458.03004号
斯宾塞·约翰斯顿
2
2019
连接词和模态逻辑的可定义性FDE公司. Zbl 1458.03015号
谢尔盖·奥丁佐夫。;丹尼尔·斯科特;海因里希·瓦辛
2
2019
量子计算理论和数学哲学。二、。 兹比尔1430.68107
Wójtowicz,Krzysztof
2
2019
JerzyŁos位置演算和时态逻辑的起源。 Zbl 1443.03010号
马钦·特卡奇克;托马斯·贾穆·埃克
2
2019
具有可构造错误的算术的不一致模型(和无限模型)。 Zbl 1458.03023号
托马斯·麦考利·弗格森
1
2019
双经典连接逻辑及其模态扩展:删减、完备性和对偶性。 Zbl 1458.03013号
诺里希罗·卡米德
1
2019
根据表面义务判断行为。自动驾驶汽车的案例。 Zbl 1458.68154号
彼得·库利基;罗伯特·特吕普兹
1
2019
句子的“分配”还是“集体”方法? Zbl 1443.03003号
彼得·乌科斯基
1
2019
四值正则逻辑和单调逻辑的自然演绎。 兹比尔1456.03048
雅罗斯拉夫·彼得鲁金
10
2018
自然演绎和Gentzen序列演算的模拟。 Zbl 1456.03084号
Daniel Kozhemiachenko
2
2018
最小\(\mathcal R\)逻辑的最大值。 兹比尔1456.03053
安娜·玛丽亚·卡尔琴斯卡
2
2018
为双重性辩护:对贝齐奥和特卡奇克的答复。 Zbl 1456.03050号
马丁、本
2
2018
范畴和模态范畴陈述的存在意义和关系。 Zbl 1456.03038号
拉克拉夫斯克,吉伊
1
2018
类比的累积力。 Zbl 1436.03023号
大卫·博廷
1
2018
亚相容逻辑中反驳相关方法的推广。 Zbl 1412.03011号
亚当·特雷布斯
1
2018
博赫瓦尔的三值逻辑和文字并行:它们的格和函数等价。 Zbl 1477.03074号
亚历山大·卡彭科;娜塔莉亚·托莫娃
18
2017
三值正则逻辑的自然演绎。 Zbl 1417.03181号
雅罗斯拉夫·彼得鲁金
10
2017
问题的算法理论。建设性和非建设性方法。 Zbl 1417.03124号
伊沃·佩兹拉
4
2017
合理的举证责任。断言和假设。 Zbl 1417.03136号
丹尼尔·奇菲;Fabien Schang先生
2017
“即使”条件的组合语义。 Zbl 1417.03220号
马修·维达尔
2017
同义反复消除、截消除和S5。 Zbl 1417.03284号
安德烈·因德泽扎克(Andrzej Indrzejczak)
1
2017
进一步思考自言自语的句子。 Zbl 1436.03081号
埃莉亚·扎迪尼
1
2017
自然演绎线性计算中的注释和言外表达。 Zbl 1417.03129号
科德斯,莫里茨;弗里德里希·雷蒙特
1
2017
一级蕴涵、对称和悖论。 Zbl 1419.03026号
格雷格·雷斯塔尔
1
2017
Belnapian模态逻辑的格:特殊扩展和对应。 兹伯利1396.03034
谢尔盖·奥丁佐夫。;斯坦尼斯拉夫·斯佩兰斯基。
12
2016
从真实功能的角度看理性代理。 Zbl 1369.03054号
叶卡捷琳娜·库比什基纳;Dmitry V.扎伊采夫。
7
2016
琐碎的二元论和悖论的逻辑。 Zbl 1384.03017号
Jean-Yves贝齐奥
5
2016
四值相关逻辑BN4和E4的关系语义。 Zbl 1396.03040号
杰玛·罗伯斯;何塞·布兰科。;Sandra M.洛佩兹。;Jesüs R.Paradela。;马科斯·M·雷西奥。
4
2016
设置理论数学。 Zbl 1369.03047号
乔尔·戴维·哈姆金斯;木本菊池
4
2016
混合逻辑的简单切割消除证明。 Zbl 1377.03051号
安德烈·因德泽扎克(Andrzej Indrzejczak)
2016
部分和亚一致三值逻辑。 Zbl 1402.03031号
文森特·德高基尔
2016
二元论案例。 Zbl 1384.03077号
马钦·特卡奇克
2016
Sweet SIXTEEN:通过嵌入经典高阶逻辑实现自动化。 Zbl 1373.03030号
亚历山大·斯蒂恩;克里斯托夫·本兹穆勒
2016
“整体大于部分。”欧几里德的梅洛洛奇元素. Zbl 1369.03019号
罗伯林,克劳斯
2
2016
构成作为恒等式和复数康托定理。 Zbl 1369.03028号
埃纳尔·杜恩格·博恩
1
2016
组成、身份和涌现。 Zbl 1369.03030号
克劳迪奥·卡洛西
1
2016
因果关系多元化的必要性。 Zbl 1369.03094号
保罗·温加特纳
1
2016
知识与非接触的互动。 Zbl 1396.03016号
亚历山大·科斯塔·莱特
1
2016
Mereology过去和现在。 兹比尔1369.03046
拉法·格鲁什琴斯基;阿奇尔·瓦尔齐(Achille C.Varzi)。
13
2015
S5的超连续结石:切割消除方法。 Zbl 1372.03037号
卡贾·贝德纳斯卡;安德烈·因德泽扎克(Andrzej Indrzejczak)
12
2015
一种适当的多结论蕴涵系统。 Zbl 1375.03016号
托马斯·斯科拉;安德烈·维希·涅夫斯基
9
2015
Paraconsistency和Sette演算P1。 Zbl 1372.03050号
贾努斯·丘西乌拉
8
2015
经典的血液学基本上是不可公理化的。 Zbl 1369.03068号
安德烈·彼得鲁兹扎克(Andrzej Pietruszczak)
7
2015
通过色情搜索场景生成合作问题响应。 Zbl 1407.68472号
帕韦·乌普科夫斯基;Leszczyńska Jasion,多罗塔
5
2015
直觉主义模态的经典行为。 Zbl 1375.03022号
谢尔盖·德罗比舍维奇
5
2015
推理规则的元逻辑:语法。 Zbl 1375.03015号
亚历克斯·西特金
5
2015
动态认知逻辑与逻辑全知。 Zbl 1375.03018号
拉斯穆森,马蒂亚斯·斯基珀
5
2015
基本逻辑和直觉逻辑的邻域语义。 Zbl 1375.03014号
莫蒂扎·莫尼里;Shirmohammadzadeh Maleki,法特梅
4
2015
对时间逻辑和模态逻辑的思考。 兹比尔1375.03019
理查德·爱泼斯坦。
2015
关于一阶水文理论模型的注释。 Zbl 1369.03080号
蔡兴钦
2015
基于区域的二维连续统:欧几里德案例。 Zbl 1372.03026号
杰弗里·赫尔曼;斯图尔特·夏皮罗
2015
质疑依从性和色情暗示方面的依赖性。 Zbl 1375.03031号
帕韦·乌普科夫斯基
2
2015
量化的时间古生物逻辑。 Zbl 1375.03021号
丹尼尔·Rönnedal
1
2015
为反对真理制造者最大主义的论点辩护。 Zbl 1369.03043号
快走,Jerzy
1
2015
时间连接词的命题逻辑。 兹比尔1375.03020
理查德·爱泼斯坦。;埃斯佩兰萨Buitrago-Díaz
1
2015
总比零分好吗? Zbl 1369.03033号
菲利波·卡萨蒂;藤川,名古屋
1
2015
阿贝良血液学。 Zbl 1369.03036号
科特诺尔,A.J。
1
2015
补遗:“一阶血液学理论模型注释”。 Zbl 1369.03081号
蔡兴钦
1
2015
双教授主义的实用主义和对话式解释。一、。 Zbl 1364.03018号
吉安路易吉·贝林;马西米利亚诺·卡拉拉;丹尼尔·奇菲;亚历山德罗·曼蒂
8
2014
作为超内涵对象的概念。 兹比尔1321.03017
帕维尔·马特纳
6
2014
Gödel三值逻辑G3的简单Henkin型完备性证明。 Zbl 1364.03038号
杰玛·罗伯斯
4
2014
将双值理论与多值逻辑相结合。 Zbl 1321.03040号
丹尼尔·杰尼托;Giangiacomo Gerla
2014
真理的逻辑方式:真理价值和逻辑的本体论基础。 Zbl 1321.03021号
雅罗斯拉夫·什兰科
2
2014
变化逻辑系统。 Zbl 1321.03045号
斯坦尼斯·瓦·基祖克
2
2014
…还有137个文档
全部的 前5名

被482位作者引用

21 雅罗斯拉夫·伊戈列维奇·彼得鲁金
14 海因里希·西奥多
13 拉里萨·勒沃夫娜·马克西莫娃
12 安德烈·因德泽扎克(Andrzej Indrzejczak)
12 安德烈·彼得鲁兹扎克(Andrzej Pietruszczak)
12 杰玛·罗伯斯
11 迪德里克·巴滕斯
11 何塞·梅恩德斯。
11 大森,Hitoshi
10 诺里希罗·卡米德
9 珍妮·伊夫·贝齐奥
9 瓦西里·沙金
8 马塞洛·埃斯特班(Marcelo Esteban Coniglio)
8 托马斯·贾穆·埃克
8 谢尔盖·奥丁佐夫。
7 路易斯·埃斯特拉达·冈萨雷斯
7 托马斯·麦考利·弗格森
7 马特乌斯·克洛诺夫斯基
7 马雷克·纳西涅夫斯基
7 蔡兴钦
7 尤恩·维塔·费多罗夫纳
6 库尔比斯,尼尔斯
6 达米安·恩里克·斯穆克
5 阿诺·阿夫隆
5 沃尔特·亚历山大·卡尼埃利
5 丹尼尔·奇菲
5 亚历克斯·西特金
5 Giangiacomo Gerla
5 拉法·格鲁什琴斯基
5 多罗塔·莱斯琴斯卡·贾西翁
5 帕韦·乌普科夫斯基
5 雅罗斯拉夫·什兰科。
5 肖恩·斯坦德弗
5 克里斯蒂安·斯特拉瑟
5 纳塔尔·叶夫娜·托莫娃
5 阿奇尔·瓦尔齐(Achille C.Varzi)。
5 安德烈·维希·涅夫斯基
5 安娜·扎曼斯基
4 贝伦,马修
4 斯特凡诺·邦齐奥
4 马西米利亚诺·卡拉拉
4 克里斯蒂安·德·隆德
4 谢尔盖·德罗比舍维奇
4 奥列格·米哈·洛维奇·格里戈列夫
4 彼得·库利基
4 保罗·马菲齐奥利
4 克里斯蒂娜·穆鲁泽克·纳西涅夫斯卡
4 毛里西奥·A·奥索里奥。
4 迪米特·瓦卡雷洛夫
4 耶鲁大学维斯
4 Wójtowicz,Krzysztof
4 Wybraniec-Skardowska,Urszula B。
Arieli,奥弗
米歇尔·普拉·巴尔迪
亚历山大·巴尔塔格
弗朗西斯科·贝尔托
克劳迪奥·卡洛西
JoséLuis Carbarlido
贾努斯·丘西乌拉
洛伦兹·德米
伊沃·杜恩施
玛丽·杜兹
阿尔多·菲加洛·奥雷利亚诺
尼西姆·弗朗西兹
亚历山德罗·佐丹尼
丹尼拉·格拉瓦尼科娃
劳埃德·亨伯斯通
杰里米亚·乔文·乔金(Jeremiah Joven B.Joaquin)。
彼得·乌科斯基
Meheus,笑话
费德里科·马蒂亚斯·佩洛斯
弗朗西斯科·保利
马蒂奥·帕斯库奇
伊沃·佩兹拉
拉克拉夫斯克,吉伊
伊戈尔·塞德拉尔
汉斯·斯梅萨特
斯坦尼斯拉夫·斯佩兰斯基。
罗伯特·特吕普兹
彼得·弗代尔
扎克·韦伯
克劳迪娅·塞佩达
2 精木赤山
2 杰拉德·奥尔文
2 艾文·亨利
2 巴博萨、路易斯·索亚雷斯
2 爱德华多·亚历杭德罗·巴里奥
2 利波·Běhounek
2 亚历克斯·贝里科夫
2 布兰登·贝内特
2 古拉姆·贝扎尼什维利
2 尼克·贝扎尼什维利
2 Jens Christian,比杰林
2 弗罗德·阿尔弗森·比约达尔
2 罗斯·波勒
2 维罗尼察博尔贾·马西亚斯
2 布罗森,Jan M。
2 佩德罗·卡巴拉尔
2 约翰·坎特威尔(John C.Cantwell)。
2 曹恩洪
…还有382位作者

按年份列出的引文