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

共 50 条

[11] SOME PROPERTIES OF THETA-CLOSURE
ESPELIE, MS
JOSEPH, JE
CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1981, 33 (01): : 142 - 149
[12] Bounds for D-finite closure properties
20150100397053
(1) RISC, Joh. Kepler University, Linz; 4040, Austria, 1600, Academic Exchange Weeks, Graduate School of Human Development and Environment, Kobe University; Cybernet Systems; et al.; Maplesoft; Tateishi Science and Technology Foundation; Wolfram Research (Association for Computing Machinery, 2 Penn Plaza, Suite 701, New York, NY 10121-0701, United States):
[13] EQUIVALENT DEFINITIONS OF A PERFECT SYSTEM AND SOME OF ITS PROPERTIES
ELIZAROV, VP
MATHEMATICAL NOTES, 1981, 29 (3-4) : 173 - 181
[14] SOME PROPERTIES OF FINITE CONVOLUTION
SHEEHAN, JA
IRE TRANSACTIONS ON INFORMATION THEORY, 1962, 8 (05): : S283 - &
[15] ON DOUBLE-JUMPING FINITE AUTOMATA AND THEIR CLOSURE PROPERTIES
Kocman, Radim
Krivka, Zbynek
Meduna, Alexander
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2018, 52 (2-4): : 185 - 199
[16] SOME CLOSURE PROPERTIES OF FAMILY OF STOCHASTIC LANGUAGES
TURAKAINEN, P
INFORMATION AND CONTROL, 1971, 18 (03): : 253 - +
[17] Some Properties of Interior and Closure in General Topology
Jung, Soon-Mo
Nam, Doyun
MATHEMATICS, 2019, 7 (07)
[18] The complexity of the inertia and some closure properties of GapL
Hoang, TM
Thierauf, T
TWENTIETH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 2005, : 28 - 37
[19] Some closure properties of right spread order
Kang Diantong
Applied Mathematics-A Journal of Chinese Universities, 2006, 21 (2) : 234 - 242
[20] The "non-finite", or the one, the ones and the infinite - A look at some definitions in philosophy
Schiacchitano, A
AUT AUT, 1998, (283-84): : 81 - 106

← 1 2 3 4 5 →