非经典逻辑科技名词
非经典逻辑科技名词:第1页
多值逻辑
multivalue logic;many-valued logic;multiple-value logic
模态逻辑
modal logic
归纳逻辑
inductive logic
时态逻辑
temporal logic
组合逻辑
combinatory logic
范畴逻辑
categorical logic
概率逻辑
probability logic
拓扑逻辑
topological logic
非经典逻辑 的上级学科
数学
数理逻辑数学基础