Some closure properties of finite definitions
Studia Logica 68 (1):43-68 (2001)
| Abstract | 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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesLeszek Aleksander Kołodziejczyk (2004). Truth Definitions in Finite Models. Journal of Symbolic Logic 69 (1):183-200.
Luisa Iturrioz (1995). Symmetrical Heyting Algebras with a Finite Order Type of Operators. Studia Logica 55 (1):89 - 98.
Anuj Dawar & Yuri Gurevich (2002). Fixed Point Logics. Bulletin of Symbolic Logic 8 (1):65-88.
Fernando Ferreira (1999). A Note on Finiteness in the Predicative Foundations of Arithmetic. Journal of Philosophical Logic 28 (2):165-174.
Brunetto Piochi (1983). Logical Matrices and Non-Structural Consequence Operators. Studia Logica 42 (1):33 - 42.
Josep M. Font & Ventura Verdú (1993). The Lattice of Distributive Closure Operators Over an Algebra. Studia Logica 52 (1):1 - 13.
Herman Dishkant (1986). About Finite Predicate Logic. Studia Logica 45 (4):405 - 414.
Fabio Bellissima & Saverio Cittadini (1999). Finite Trees in Tense Logic. Studia Logica 62 (2):121-140.
Robert A. Herrmann (2007). General Logic-Systems and Finite Consequence Operators. Logica Universalis 1 (1).
René David & Karim Nour (1995). Storage Operators and Directed Lambda-Calculus. Journal of Symbolic Logic 60 (4):1054-1086.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,171 of 548,969 )Recent downloads (6 months)2 ( #37,438 of 548,969 )How can I increase my downloads? |
My notes
Discussion
