对Dijkstra量词研究的补充

摘要：

在Dijkstra的研究工作的基础上,对量词作进一步的探讨,主要以存在量词的几个基本性质作为假定,并由此推出有关存在量词和全称量词的其他一系列的性质.可视为Dijkstra的补充,从而使人们对量词的性质有更深的认识.

关键词：量词、存在量词、谓词演算、布尔结构

所属期刊栏目：38

分类号：TP301(计算技术、计算机技术)

资助基金：江苏省自然科学基金BK2001034

在线出版日期：2008-05-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：110-118