65 search results - page 5 / 13 » Preservation theorems for bounded formulas |
165
click to vote
AML
2006
15 years 6 months ago
2006
Lukasiewicz's infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Lukasiewicz algebra on the unit real interva...
172
click to vote
DGCI
2003
Springer
15 years 11 months ago
2003
Springer
In order to make image analysis methods more reliable it is important to analyse to what extend shape information is preserved during image digitization. Most existing approaches t...
136
click to vote
APAL
2010
15 years 6 months ago
2010
We discover geometric properties of certain definable sets over non-Archimedean valued fields with analytic structures. Results include a parameterized smooth stratification theore...
155
click to vote
JCSS
2010
15 years 4 months ago
2010
In classical logics, the meaning of a formula is invariant with respect to the renaming of bound variables. This property, normally taken for granted, has been shown not to hold in...
160
click to vote
ENTCS
2006
15 years 6 months ago
2006
Locality is a standard notion of finite model theory. There are two well known flavors of it, based on Hanf's and Gaifman's theorems. Essentially they say that structure...