机译:具有经典命题逻辑的Lambek微积分的关系语义学
Lambek calculus; Relational semantics; Classical propositional logic.;
机译:具有经典命题逻辑的Lambek微积分的关系语义学
机译:完全lambek演算的关系语义和关系证明系统
机译:完全lambek演算的关系语义和关系证明系统
机译:概率命题逻辑系统是主题微积分经典正规系统的事件语义
机译:在Lambek演算中使用乘积进行证明的图形式主义。
机译:关系数据的语义查询以用于临床智能:基于语义Web服务的方法
机译:极化古典非关联Lambek演算和形式语义
机译:关系演算与关系程序语义