机译:aristotelian逻辑公理在命题逻辑中:袋法
Univ Calif San Diego La Jolla CA 92093 USA;
Arara Chile Santiago Chile;
机译:aristotelian逻辑公理在命题逻辑中:袋法
机译:关于Łukasiewicz的有限多值命题逻辑的公理系统的Rosser-Turquette方法
机译:普适逻辑与亚里士多德逻辑:逻辑的形式与本质
机译:带有公理□_Φ↔◇_Φ的命题模态逻辑与命题逻辑之间的对应关系
机译:用于基于表格的描述逻辑推理的基于计划的公理吸收。
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:错误到:普遍逻辑和aristotelian逻辑:逻辑的形式和本质