机译:阿克曼对无类型逻辑的启示
Typefree logics; implicative logic; substructural logics;
机译:芝诺(Zeno),大力神(Hercules)和九头蛇(Hydra):安全度量时态逻辑完全由阿克曼(ACKERMANN)完成
机译:模态逻辑,对应理论和二阶约简的阿克曼方法
机译:蕴涵片段逻辑与模糊逻辑对应的代数方面
机译:使用多忆阻蕴涵的忆阻状态逻辑的改进逻辑综合
机译:分析蕴涵的说明性原理和逻辑。
机译:危地马拉总统转型期间政府官员的终端逻辑行为与战略叛逃:对食品和营养安全政策可持续性的影响
机译:Ackermann逻辑的Routley-Meyer语义,“刺耳含义”