机译:将逻辑应用于哲学神学:肯定上帝存在的正式演绎推理,假设在SIGMA正式公理理论中的知识的先验
机译:从知识的假设a-priorti-ness,在逻辑上正式的公理认识论系统中惯性法则的正式演绎推理
机译:在正式的公理认识论系统Sigma中假设A-Priori-Ness的知识守恒守恒定律
机译:形式演绎系统£ *(NM-logic)中的三值和二值Lukasiewicz理论
机译:演绎理论管理员:基于知识的形式验证系统
机译:从知识的假设a-priorti-ness,在逻辑上正式的公理认识论系统中惯性法则的正式演绎推理