无变元的一阶片段:Fluted逻辑

摘要：

@@ 尽管一阶逻辑得到了广泛的探讨,但仍然存在有待发掘的丰富内容,一阶逻辑的片段研究便是其中之一.选取不同的方式可以定义出一阶逻辑的不同片段,例如对量词进行限制、对变元进行限制等.Fluted逻辑(Fluted Logic,简记为FL)是通过消去变元的方式形成的一阶片段之一.从两个方面看,这种逻辑值得关注.首先,它是既"驯良"又"漂亮"的一阶逻辑片段,[1]"驯良"是说它既是可判定的又具有有穷模型性,"漂亮"是说它同时具备内插性和模型保持性.

机标关键词：fluted

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金08CZX021

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

页码：101-104