公理的基础上

正式的系统建设

• 
  在形式逻辑:公理化的电脑

  一个由公理的基础

  阅读更多
• 
  在形式逻辑:特殊的LPC的体系

  中给出的公理基础部分的公理化LPC (见上图公理化的LPC)还需要以下修改:在公理模式2任何一项允许替换一个当β形成,没有变量,是免费的…

  阅读更多