Relational systems; translation methods; modal logic;
机译:命题非经典逻辑的有效关系演绎系统
机译:原子论与非经典逻辑推理
机译:MatBase中与二元关系相关的非关系约束的检测与执行
机译:指定二等关系与推理的属性的环境II:非古典逻辑的关系呈现
机译:产妇护理中的主题知识,个人兴趣,关系推理和批判性思维之间的关系
机译:在学校竞争需要两个:社会关系模型的心理学性质和中学二次侵略和受害的相对差异
机译:知识表示和推理的非经典逻辑
机译:逻辑在知识表征和常识推理中的作用。