术语 · Terminology

术语翻译表

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

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

下载稳定术语表下载完整术语表提交新术语

证明论与形式系统

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

共 58 个义项

31 logical harmony（证明论与形式系统）逻辑和谐

32 method of affirmation（证明论与形式系统）肯定前件

33 natural deduction（证明论与形式系统）自然演绎

34 negation（证明论与形式系统）非

35 normal form（证明论与形式系统）正规形式

36 order logic（证明论与形式系统）顺序逻辑

37 parametricity（证明论与形式系统）参数性

38 predicate（证明论与形式系统）谓词

39 predicate logic（证明论与形式系统）谓词逻辑

40 principle of explosion（证明论与形式系统）爆炸律

41 propositional logic（证明论与形式系统）命题逻辑

42 quantifier（证明论与形式系统）量词

43 realizability（证明论与形式系统）具现

44 rewriting（证明论与形式系统）重写

45 semi-axiomatic sequent calculus (SAX)（证明论与形式系统）半公理化相继式演算

46 sequent（证明论与形式系统）相继式

47 sequent calculus（证明论与形式系统）相继式演算

48 snip rule（半公理化逻辑）剪规则

49 structural logic（证明论与形式系统）结构逻辑

50 structural rule（证明论与形式系统）结构性规则

51 subformula（证明论与形式系统）子公式

52 substructural logic（证明论与形式系统）亚结构逻辑

53 succedent（证明论与形式系统）后果

54 term（证明论与形式系统）项

55 true（证明论与形式系统）真

56 truth value（证明论与形式系统）真值

57 weakening rule（证明论与形式系统）弱化规则

58 well-formed（证明论与形式系统）良形式