%0 Journal Article
%T 具有Barcan公式的若干正规量词模态系统的代数语义
%A 吕健安
%J 科学通报
%D 1988
%I 
%X 对相当广泛的一类命题模态逻辑系统S来说,其相应的量词逻辑系统S~*关于Rasiowa和Sikorski型代数语义的完全性定理,可以像文献1]那样,通过验证性质(E)去证明。但是,除极少数系统外,(E)的验证往往是十分困难的,从而对大多数量词模态系统来说,其代数语义完全性的证明依然是个问题。Lemmon在文献2]与3]中的工作和高恒珊在文献4]
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=7C7E63796F062382A606A3A9833B8C05&jid=B40D4BA57FF46E45205A09B4DC283152&aid=892EA802797ADD2B8A7ECCF4DFB52E1C&yid=0702FE8EC3581E51&vid=27746BCEEE58E9DC&iid=F3090AE9B60B7ED1&sid=0EE24608F5763811&eid=0EE24608F5763811&journal_id=0023-074X&journal_name=科学通报&referenced_num=0&reference_num=0