温雪峰 刘易斯条件逻辑的新公理化。 （英语） Zbl 07582526号 廖北水（编）等，新一代人工智能逻辑。第二届国际研讨会，中国珠海，2022年6月10日至12日。伦敦：学院出版物。95-106 (2022). 摘要：我们表明，Nute为Lewis条件逻辑提出的流行公理系统与Lewis的原始系统并不等价。特别是，在Lewis系统中可导的公理CA在Nute系统中不可导。然后我们建议刘易斯条件逻辑的新公理化集，不使用CSO或RCEA或逻辑等价物交换规则。相反，新的公理化采用了两个公理，分别对应于谨慎的单调性和谨慎的切入非单调逻辑。最后，我们利用刘易斯条件逻辑系统中一个长期被忽视的公理，简单地解决了关于析取先行词简化这一有争议公理的难题。有关整个系列，请参见[Zbl 1493.68016号]. MSC公司： 03B60号 其他非经典逻辑 关键词：条件逻辑;公理化;析取先行词的简化;非单调逻辑 PDF格式BibTeX公司 XML格式引用 \textit{X.Wen}，in：新一代人工智能的逻辑。第二届国际研讨会，中国珠海，2022年6月10-12日。伦敦：学院出版物。95-106（2022；Zbl 07582526） 全文： arXiv公司