[计]?直觉主义逻辑
例如,直觉主义逻辑(intuitionistic logic)对真值和逻辑联结词、逻辑演算的意义采取完全不同的理解,特别重视 结构和证明在逻辑系统中的作用; 自由逻辑(free logic)在假设...
Atanassov直觉主义逻辑
直觉算子模糊逻辑
直觉主义量词模态逻辑
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。