可解释性逻辑
词条百科 1
目录
可解释性逻辑
可解释性逻辑包括一个模态逻辑系列，它扩展了可证明性逻辑以描述可解释性或各种相关的元数学属性和关系，如弱可解释性、Π1-保守性、可解释性、容忍性、共容忍性和算术复杂性。
可解释性逻辑的例子
逻辑TOL
TOL的语言通过添加模态算子扩展了经典命题逻辑的语言{displaystyle/Diamond}的模态算子。它被允许接受任何非空的参数序列。◊的算术解释是GiorgiJaparidze证明了TOL在算术解释方面的完备性。
内容来源于网络，本内容不代表16map.com立场，内容投诉举报请联系16map.com客服。如若转载，请注明出处：https://16map.com/wiki/nmteci2lmide