彼得·维尔德
人员信息
优化列表
2020年–今天
2021 [j13] 彼得·维尔德 :
通过在经典逻辑中添加严格的次一致否定,获得无穷多程度的不一致性。 合成。 198 ( 22-S系列 ) : 5415-5449 ( 2021 )
2010 – 2019
2018 [公元12年] 杰西·海因尼克 , 彼得·维尔德 , 阿尔布雷赫特·赫弗 :
处理早期微积分中的不一致性。 J.菲洛斯。 日志。 47 ( 三 ) : 481-511 ( 2018 ) 2016 [公元11年] 乔克·梅休斯 , 克里斯蒂安·斯特拉 , 彼得·维尔德 :
面对相互矛盾的信息,该选择哪种推理方式? J.日志。 计算。 26 ( 1 ) : 361-380 ( 2016 ) [公元10年] 彼得·维尔德 , 迪德里克·巴滕斯 :
完美嵌入经典逻辑。 Stud Logica公司 104 ( 1 ) : 47-78 ( 2016 ) 2015 [公元9年] 彼得·维尔德 , Inge De Bal公司 :
经典关联的新方法。 Stud Logica公司 103 ( 5 ) : 919-954 ( 2015 ) 2013 [j8] 彼得·维尔德 :
通过自适应逻辑实现强大的、普遍的和可证明的非平凡集理论。 日志。 J.IGPL公司 21 ( 1 ) : 108-125 ( 2013 ) [j7] 彼得·维尔德 :
自适应逻辑的证明过程。 日志。 J.IGPL公司 21 ( 5 ) : 743-766 ( 2013 ) 2012 [j6] 彼得·维尔德 :
通过自适应逻辑游戏对不可行推理进行建模。 日志。 J.IGPL公司 20 ( 2 ) : 417-437 ( 2012 ) [j5] 弗雷德里克·范·德普特 , 彼得·威尔德 :
关联的动态:适应性信念修正。 合成。 187 ( 补遗-1 ) : 1-42 ( 2012 ) 2011 【c1】 彼得·维尔德 :
经典逻辑中分离合成和分解的强副一致性。 WoLLIC公司 2011 : 272-292
2000 – 2009
2009 【j4】 迪德里克·巴滕斯 , 克里斯托夫·德·克莱克 , 彼得·维尔德 , 乔克·梅休斯 :
是的,伙计们,大多数人类的推理都很复杂。 合成。 166 ( 1 ) : 113-131 ( 2009 ) [j3] 彼得·维尔德 :
使用最小异常策略的自适应逻辑为P 1 1 \Pi^1_1-复杂。 合成。 167 ( 1 ) : 93-104 ( 2009 ) 2008 [注2] 斯蒂芬·范德瓦特·范古利克 , 彼得·维尔德 :
用自适应模糊逻辑建模群推理。 模糊集系统。 159 ( 14 ) : 1869-1884 ( 2008 ) [j1] 彼得·威尔德 , 斯蒂芬·范德瓦特·范古利克 :
自适应模糊逻辑的通用框架。 Stud Logica公司 90 ( 三 ) : 385-405 ( 2008 )