帕特里克·吉拉德;马库斯·特里普特(Marcus A.Triplett)。 优先考虑反事实推理的其他同等逻辑。 (英语) Zbl 1398.03019号 合成 195,第4期,1681-1703(2018).MSC公司:03A05号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{P.Girard}和\textit{M.A.Triplett},综合195,第4期,1681--1703(2018;Zbl 1398.03019) 全文: 内政部
帕特里克·吉拉德;马库斯·安东尼,特里普利特 反事实推理中的等价逻辑。 (英语) Zbl 1487.03037号 Ramanujam,R.(编辑),《第十五届理性与知识理论方面会议论文集》,TARK 2015,卡内基梅隆大学,美国匹兹堡,2015年6月4-6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)215176-193(2016)。MSC公司:03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{P.Girard}和\textit{M.A.Triplett},电子。程序。西奥。计算。科学。(EPTCS)215176--193(2016;Zbl 1487.03037) 全文: arXiv公司 链接