Ordered and partially ordered processing of multidimensional images
β Scribed by Aravena, J.; Porter, W.
- Book ID
- 117906162
- Publisher
- IEEE
- Year
- 1985
- Weight
- 873 KB
- Volume
- 33
- Category
- Article
- ISSN
- 0096-3518
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
## Abstract We show that a coherent theory of partially ordered connectives can be developed along the same line as partially ordered quantification. We estimate the expressive power of various partially ordered connectives and use methods like Ehrenfeucht games and infinitary logic to get various
This is to be read "For every x there is a y and for every u there is a v (depending only on u) such that y ( x , y, u , w) ." The precise meaning of this can be given in terms of SKOLEM functions; the above formula is semantically equivalent to the second-order formula Such partially-ordered quant