A. N. PRIOR'S MODAL INTUITIONISTIC CALCULUS MIPC HAVING 13 MODALITIES  

作　　者：高恒珊 

机构地区：[1]Graduate School, Academia Sinica, Beijing 100039, PRC

出　　处：《Chinese Science Bulletin》1990年第22期1930-1930,共1页

摘　　要：It was A. N. Prior who introduced the system MIPC in his monograph Time and Modality in 1957, which is of type S5 in the sense of R. A. Bull, i. e. adding the law of excluded middle to it yields S5. Many different modal intuitionistic calculi of type S5 (also in the same sense of Bull )were given by several logicians in recent years. One of the basic prob-

关 键 词：excluded MODALITIES adding ANSWER 

分 类 号：N[自然科学总论]