16 search results - page 2 / 4 » apal 2004 |
APAL
2004
13 years 5 months ago
2004
Gaifman's normal form theorem showed that every first order sentence of quantifier rank n is equivalent to a Boolean combination of "scattered local sentences", whe...
APAL
2004
13 years 5 months ago
2004
We investigate the initial segment complexity of random reals. Let K( ) denote pre
APAL
2004
13 years 5 months ago
2004
The model-checking problem for a logic L on a class C of structures asks whether a given L-sentence holds in a given structure in C. In this paper, we give super-exponential lower...
APAL
2004
13 years 5 months ago
2004
The theory of concept lattices (i.e. hierarchical structures of concepts in the sense of Port-Royal school) is approached from the point of view of fuzzy logic. The notions of par...
APAL
2004
13 years 5 months ago
2004
The purpose of this article is to present a new theory IPA() for fixed points over arithmetic which allows the building up of fixed points in a very nested and entangled way. But ...