nonclassical logic

英 美
  • 非经典逻辑
    1. This makes classical logic a special fragment of computability logic.
      这使经典逻辑成为可计算性逻辑的特殊片段。