机译:组合逻辑与子结构逻辑的语义
Department of Philosophy Willamette University Salem Oregon 97301 USA;
Substructural logics; combinatory logic; Routley-Meyer relational semantics;
机译:语义组合逻辑的语义方法
机译:嘲笑小鸟和其他逻辑难题:包括对组合逻辑的奇妙冒险
机译:经典逻辑的组合逻辑和λ演算
机译:组合分类语法作为一种子结构逻辑:初步说明
机译:子结构逻辑,组合逻辑和lambda演算。
机译:组合逻辑中的功能
机译:具有限制交换规则的子结构逻辑研究(非经典逻辑及其Kripke语义学的新方面)