构造性逻辑的英文

• constructive logic
• intuitionistic logic

• 构造性:    constructivity
• 逻辑:    logic
• 排它性逻辑:    exclusive disjunction
• 线性逻辑:    linear logic
• 构造性:    constructivity◇构造性分析 constructive analysis; 构造性公理 constructivity axiom

例句与用法

1. Does the constructive logic negate the law of cxcluded middle
   构造性逻辑否定排中律吗