公理语义学方法

公理语义学方法的英文

英语翻译

axiomatic semantics approach

拓展翻译

公理语义学
axiomatic semantics

功能的语义学
functional semantics

关系语义学
relational semantics

函数调用语义学
function call semantics

公理
axiom; generally acknowledged truth
Armstrong

公理的
a priori

公理法
axiomatic approach

公理方法
axiomatic method

公理和强权
right and might

公理化
axiomation; axiomatization; axiomatize

公理化模型
axiomatic model

公理基础
axiomatic basis

公理理论
axiomatic theory

公理描述
axiomatic specification

公理上
in equity

公理说明
axiomatic specification

公理系统
Armstrong axiomatic Arms-trong; axiomatic system

公理证明
axiomatic proof

公理证明规则
axiomatic proof rule

构造性公理
constructivity axiom