术语 · Terminology

术语翻译表

每条记录都是一个具体数学义项。共识译名记录现实中的稳定译法；待定译名的投票长期持续，不会自动产生共识。

术语表目前仍在施工中，共识译名正在逐步确立，请谨慎参考。

证明论与形式系统
下载稳定术语表 下载完整术语表 提交新术语

证明论与形式系统

分类对象是义项而非英文词形，查看分类说明

共 58 个义项

01 !-able（解析叠） !-容许
02 admissible rule（证明论与形式系统） 可容许规则
03 affine logic（证明论与形式系统） 仿射逻辑
04 antecedent（证明论与形式系统） 前因
05 associativity rule（证明论与形式系统） 结合规则
06 canonicity（证明论与形式系统） 典范性
07 coercion rules（证明论与形式系统） 转换规则
08 confluence（证明论与形式系统） 合流性
09 conjunction（证明论与形式系统） 与
10 consistency（证明论与形式系统） 一致性
11 contraction rule（证明论与形式系统） 收缩规则
12 cut elimination（证明论与形式系统） 切消除
13 cut rule（证明论与形式系统） 切规则
14 derivable rule（证明论与形式系统） 可导出规则
15 disjunction（证明论与形式系统） 或
16 elimination rule（证明论与形式系统） 消去规则
17 exchange rule（证明论与形式系统） 交换规则
18 external choice（证明论与形式系统） 外选择
19 false（证明论与形式系统） 假
20 formation rule（证明论与形式系统） 形成规则
21 formula（证明论与形式系统） 公式
22 Gentzen’s Hauptsatz（证明论与形式系统） Gentzen 主要定理
23 Gödel’s incompleteness theorems（证明论与形式系统） Gödel 不完备性定理
24 identity rule（证明论与形式系统） 恒同规则
25 implication（证明论与形式系统） 蕴涵
26 induction（证明论与形式系统） 归纳法
27 inference rule（证明论与形式系统） 推导规则
28 intuitionistic sequent（证明论与形式系统） 直觉主义相继式
29 linear logic（证明论与形式系统） 线性逻辑
30 logical connective（证明论与形式系统） 逻辑连接词