Some closure properties of finite definitions

被引：0

作者：

Martinez M. ^{[1
]}

机构：

[1] Math Department, Indiana University

来源：

Studia Logica | 2001年 / 68卷 / 1期

关键词：

Circular definitions; Finite definitions; Revision rules; Revision theory;

D O I：

10.1023/A:1011998021743

中图分类号：

学科分类号：

摘要：

There is no known syntactic characterization of the class of finite definitions in terms of a set of basic definitions and a set of basic operators under which the class is closed. Furthermore, it is known that the basic propositional operators do not preserve finiteness. In this paper I survey these problems and explore operators that do preserve finiteness. I also show that every definition that uses only unary predicate symbols and equality is bound to be finite. © 2001 Kluwer Academic Publishers.

引用

页码：43 / 68

页数：25