...
机译:高阶最小逻辑中命题可扩展性的归一化计算规则
type theoryunivalencecanonicity;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:关于命题逻辑的证明图中的强归一化
机译:古典命题逻辑蕴涵片段的一种新的归一化策略
机译:引诱模式逻辑S5系统中的改善破坏性扩展规则
机译:火灾:具有类似SWRL规则的OWL本体的基于描述逻辑的规则引擎
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:高阶惰性缩小演算:高阶功能逻辑语言的计算模型