机译:结果蕴涵系统中的条件排除中间
Dipartimento di Filosofia e Scienze Sociali, Università di Siena, Via Roma 47, 53100 Siena, Italy;
New College, Oxford, OX1 3BN, United Kingdom;
conditionals; modal logic; Boethius;
机译:量化条件和条件排除中间
机译:有条件排除中间
机译:用于弱排除中间逻辑的无割证明系统
机译:京都议定书的涵义:英国气候变化水平的引入及其对英国水泥工业的影响和影响
机译:体积,拓扑约束,A和吸引力在软物质系统慢动力学中的作用的理论研究
机译:有条件和无条件现金转移以改善中低收入国家避孕的使用:系统评价
机译:结果蕴涵系统中的条件排除中间