%0 Journal Article
%T A.N.Prior的模态直觉主义演算MIPC具有13个模态辞
%A 高恒珊
%J 科学通报
%D 1989
%I 
%X 研究直觉主义系统的模态扩充,特别是在文献1]中意义下属于S5型的有许多。这其中包括文献2]中的系统IS5,以及文献3]中的四个系统IM4W,IM4M,IM4S以及IM5。然而在这许多系统中提出最早且
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=7C7E63796F062382A606A3A9833B8C05&jid=B40D4BA57FF46E45205A09B4DC283152&aid=0E07B62A4538DF56A401636FE405DAE8&yid=1833A6AA51F779C1&vid=339D79302DF62549&iid=708DD6B15D2464E8&sid=3893EBCAC6700388&eid=3893EBCAC6700388&journal_id=0023-074X&journal_name=科学通报&referenced_num=0&reference_num=0