...
机译:剩余格的Crawley完成和子结构谓词逻辑的代数完备性
algebraic completeness; Crawley completions; infinite distributivities; regular completions; residuated lattices; substructural predicate logics;
机译:剩余格的Crawley完成和子结构谓词逻辑的代数完备性
机译:BCK代数的结构:一种基于完全残差格值逻辑的新方法
机译:下半格序剩余半群和子结构逻辑
机译:基于完全剩余格的格值Kripke结构
机译:剩余格的类别
机译:剩余格
机译:下半格序剩余半群和子结构逻辑