机译:归约规则,使用意义与证明理论语义学
natural deduction; reduction rules; proof-terms; proof-theoretic semantics; game-theoretic semantics; dialogue semantics;
机译:关于归约规则,使用意义和证明理论语义学
机译:归约规则,使用意义与证明理论语义学
机译:归约规则,使用意义与证明理论语义学
机译:具有隐式宾语的传递动词的证明理论语义
机译:基于NAF的逻辑语义:校样理论泛化和非地扩展
机译:使用增强决策表和语义归类技术的规则集缩减:应用于胆固醇指南。
机译:关于证明理论语义学的一些评论