%0 Journal Article
%T 关于含高级量词的一目谓词演算公式的■_0永真性的可判定性及其应用
%A 莫绍揆
%J 科学通报
%D 1979
%I 
%X 在本文中我们证明含高级量词和等词的一目谓词演算公式是否(?)_0永真为可判定的并且利用这一结果证明了Nakamura在文献3]中提出的带有(?)_0个阈算子的命题演算的判定问题是可解的。 先证若干引理: 引理1 对于含有高级量词和等词的狭谓词演算公式α,恒可能行地作出一只含一级量
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=7C7E63796F062382A606A3A9833B8C05&jid=B40D4BA57FF46E45205A09B4DC283152&aid=7358FFD66190C1F1D0B365613BA0A545&yid=8C8371356FB4C85C&vid=B91E8C6D6FE990DB&iid=38B194292C032A66&sid=74011071555EB4E5&eid=74011071555EB4E5&journal_id=0023-074X&journal_name=科学通报&referenced_num=0&reference_num=0