1 paper touches this idea.
Papers
One math trick unifies four ways AI reasons about truth
Related concepts
Ideas that show up alongside First-Order Logic.