机译:勘误为“没有最大模型的抽象基本类的分类”。纯应用Logic 141(2006)108-147](勘误)
机译:勘误表“消除一些无穷级的多规则组的无界量词” [Ann。纯应用逻辑149(1-3)(2007)40-80]
机译:对“ MV-代数的表示理论”的勘误纯应用逻辑161(8)(2010)]
机译:模态逻辑的零一定律
机译:黑格尔的辩证法中的非矛盾定律:在康德的“纯粹理性批判”背景下,黑格尔的辩证法作为一种反逻辑。
机译:采用纯CMOS逻辑工艺的具有自抑制电阻切换负载的RRAM集成4T SRAM
机译:安纯应用到“ coalgebraic逻辑”的逻辑勘误96(1999)277–317
机译:模态纯型系统中的priorean时态逻辑