机译:多语言的等式逻辑和分类语义
机译:分类抽象代数逻辑:有序方程逻辑和可代数PoVarieties
机译:N.A. Vasil’ev的逻辑观念和多值逻辑的分类语义学
机译:分类抽象代数逻辑:参照代数语义
机译:分级HOARE LOGIC及其分类语义
机译:Topoi中的逻辑:高阶逻辑的函数语义
机译:与有序分类指标的潜变量互动:无约束产品指标和潜在潜水结构的比较方程方法
机译:分类抽象代数逻辑:真实实践π-机构
机译:具有有限等式最终语义规范的自然数据类型但没有有效的等式初始语义规范