术语 · Terminology

术语翻译表

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

全部术语

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

共 2607 个术语

术语

中文译名

2461 propositional logic 命题逻辑 1

2462 quantifier 量词 1

2463 realizability 具现 1

2464 rewriting 重写 1

2465 semi-axiomatic sequent calculus 半公理化相继式演算 1

2466 sequent 相继式 1

2467 sequent calculus 相继式演算 1

2468 snip rule 剪规则 1

2469 structural logic 结构逻辑 1

2470 structural rule 结构性规则 1

2471 subformula 子公式 1

2472 substructural logic 亚结构逻辑 1

2473 succedent 后件 1

2474 term 项 1

2475 true 真 1

2476 truth value 真值 1

2477 weakening rule 弱化规则 1

2478 well-formed 良形式 1

2479 formal grammar 形式文法 1

2480 realizer 具现子 1

2481 reduction 归约 1

2482 abstract type 抽象类型 1

2483 axiom of resizing 降级公理 1

2484 bottom type 底类型 1

2485 capture-avoiding substitution 避免捕获的替换 1

2486 computation rule 计算规则 1

2487 constructor 构造子 1

2488 context 语境 1

2489 coproduct type 余积类型 1

2490 cubical type theory 立方类型论 1