Topic
Coherent space
About: Coherent space is a research topic. Over the lifetime, 27 publications have been published within this topic receiving 217 citations.
Papers
TL;DR: In this article, strong proximity lattices are used to describe the Stone-duality of coherent spaces, thus dropping the requirement of having a base of compact-opens (or, alternatively, replacing algebraicity of the lattices by continuity).
Abstract: It is a pleasant fact that Stone-duality may be described very smoothly when restricted to the category of compact spectral spaces: The Stoneduals of these spaces, arithmetic algebraic lattices, may be replaced by their sublattices of compact elements thus discarding infinitary operations. We present a similar approach to describe the Stone-duals of coherent spaces, thus dropping the requirement of having a base of compact-opens (or, alternatively, replacing algebraicity of the lattices by continuity). The construction via strong proximity lattices is resembling the classical case, just replacing the order by an order of approximation. Our development enlightens the fact that “open” and “compact” are dual concepts which merely happen to coincide in the classical case.
53 citations
TL;DR: A Gentzen style sequent calculus where the formulas on the left and right of the turnstile need not necessarily come from the same logical system is studied, which can be seen as a consequence between different domains of reasoning.
Abstract: We study a Gentzen style sequent calculus where the formulas on the left and right of the turnstile need not necessarily come from the same logical system. Such a sequent can be seen as a consequence between different domains of reasoning. We discuss the ingredients needed to set up the logic generalised in this fashion. The usual cut rule does not make sense for sequents which connect different logical systems because it mixes formulas from antecedent and succedent. We propose a different cut rule which addresses this problem. The new cut rule can be used as a basis for composition in a suitable category of logical systems. As it turns out, this category is equivalent to coherent spaces with certain relations between them. Finally, cut elimination in this set-up can be employed to provide a new explanation of the domain constructions in Samson Abramsky's Domain Theory in Logical Form.
41 citations
1 Jan 2006
TL;DR: In this article, the authors propose a method to solve the problem of "uniformity" and "uncertainty" in the context of data mining, and propose a solution.
Abstract: vii
12 citations
TL;DR: It is suggested that the establishment of the TSA is critical both for a coherent space policy and progress as well as the successful development of its national space industry, security and international space relations.
9 citations
TL;DR: Using the temporal integration and summation properties of the conventional transmission hologram in conjunction with some recently developed linear operator characterizations, a number of coherent processors are developed which are capable of performing generalized 2-D linear space-variant operations.
Abstract: Using the temporal integration and summation properties of the conventional transmission hologram in conjunction with some recently developed linear operator characterizations, a number of coherent processors are developed which are capable of performing generalized 2-D linear space-variant operations.
8 citations
Related Topics (5)
Performance Metrics
| Year | Papers |
|---|---|
| 2021 | 1 |
| 2019 | 1 |
| 2018 | 3 |
| 2017 | 4 |
| 2016 | 1 |
| 2010 | 1 |