机译:具有断言,义务和因果关系的语用逻辑的语义分析
Department of Computer Science Queen Mary, University of London Mile End Road, E1 4NS London, England;
speech act theory; proof theory; provability semantics; categorical logic; type theory;
机译:论语用逻辑中的断言与否定
机译:走向实用逻辑。断言和猜想
机译:逻辑与对话再谈:实时语言理解中语义与实用内容之间的区分的证据
机译:语用推理语用语义学与语义语用学
机译:加利福尼亚州克恩县K--12学区普通义务债券通过或失败的因果标准分析。
机译:使用模糊逻辑技术确定基于断言的软件测试指标
机译:断言中弱和强极性项目的语义和语用