intuitionist logic

• 直觉主义逻辑

intuitionist logic的用法和样例：

例句

1. Intuitionism logic is the basis of Dummett's semantic anti-realism.
   摘要直觉主义逻辑是达米特语义反实在论的基础。