标签：#數理邏輯

层化

在数学中层化有多种用法。 在数理逻辑中的层化 在数理逻辑中，层化是保证一个逻辑理论存在唯一形式释义的任何一致的数到谓词符号的指派。特别是，对于Horn子句理论，我们称一个理论是层化的，当且仅当有一个层化指派 S 满足下列条件: :(A) 如果谓词 P 是肯定的推导自谓词 Q，则 P 的层化数必定大于等于 Q 的层化数，简写为 S(P) \geq S(Q)。 :(B) 如果谓词 P 推导自否定的谓词 Q，则 P 的层化数必定大于 Q 的层…