术语 · Terminology

术语翻译表

每个英文术语下可以有几个数学义项。本站译名都有外文出处或参考链接，采用中文教材的通行写法；觉得译名不妥可以在义项页建议改译，缺少的出处可以在左侧「资料补充」里筛出来补充。

证明论与形式系统

分类按义项归入，词形出现在它各义项所属的分类下，查看分类说明

共 58 个术语

术语

中文译名

01 !-able !-容许 1

02 admissible rule 可容许规则 1

03 affine logic 仿射逻辑 1

04 antecedent 前件 1

05 associativity rule 结合规则 1

06 canonicity 典范性 1

07 coercion rules 转换规则 1

08 confluence 合流性 1

09 conjunction 与 1

10 consistency 一致性 1

11 contraction rule 收缩规则 1

12 cut elimination 切消除 1

13 cut rule 切规则 1

14 derivable rule 可导出规则 1

15 disjunction 或 1

16 elimination rule 消去规则 1

17 exchange rule 交换规则 1

18 external choice 外选择 1

19 false 假 1

20 formation rule 形成规则 1

21 formula 公式 1

22 Gentzen’s Hauptsatz Gentzen 主要定理 1

23 Gödel’s incompleteness theorems Gödel 不完备性定理 1

24 identity rule 恒同规则 1

25 implication 蕴涵 1

26 induction 归纳法 2

27 inference rule 推导规则 1

28 intuitionistic sequent 直觉主义相继式 1

29 linear logic 线性逻辑 1

30 logical connective 逻辑连接词 1