机译:用于可能性语义的算法对应关系和Cononicity
Taishan Univ Sch Math & Stat Tai An Shandong Peoples R China;
Possibility semantics; correspondence theory; canonicity; algorithmic correspondence; duality theory;
机译:用于可能性语义的算法对应和Cononicity
机译:非分配逻辑的算法对应关系和Cononicity
机译:分布模态逻辑的算法对应性和规范性
机译:规范计算中的三重对应:强切消,连贯性和不确定性语义
机译:纵向数据的规范相关和对应分析。
机译:基于序数熵的算法可能性和限制
机译:非分配逻辑的算法对应关系和Cononicity