可解释性逻辑
编辑可解释性逻辑包括一个模态逻辑系列,它扩展了可证明性逻辑以描述可解释性或各种相关的元数学属性和关系,如弱可解释性、Π1-保守性、可解释性、容忍性、共容忍性和算术复杂性。
可解释性逻辑的例子
编辑逻辑ILM
ILM的语言通过增加单数模态运算符,扩展了经典命题逻辑的语言。ILM在算术解释方面的完备性由AlessandroBerarducci和VladimirShavrukov独立证明。
逻辑TOL
编辑TOL的语言通过添加模态算子扩展了经典命题逻辑的语言{displaystyle/Diamond}的模态算子。它被允许接受任何非空的参数序列。◊的算术解释是GiorgiJaparidze证明了TOL在算术解释方面的完备性。
内容由匿名用户提供,本内容不代表vibaike.com立场,内容投诉举报请联系vibaike.com客服。如若转载,请注明出处:https://vibaike.com/171257/