Results 121 to 130 of about 612 (145)

Preorders, Partial Semigroups, and Quantales

2020
It is known that each powerset quantale is embeddable into some relational unital quantale whose underlying set is the powerset of some preorder. An aim of this paper is to understand the relational embedding as a relationship between quantales and preorders.
Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa   +2 more
openaire   +1 more source

Syntopogenous preordered spaces (II)

Mathematical Proceedings of the Cambridge Philosophical Society, 1978
In (1) the authors introduced the idea of a syntopogenous preordered space (SPS), thereby generalizing simultaneously the concepts of ‘uniform preordered space’ and ‘proximity preordered space’. In the case of a classical topology the SPS condition was seen to be equivalent to the condition, ‘convex plus T1-preordered’.
Burgess, D. C. J., Fitzpatrick, M.
openaire   +1 more source

Rewriting for preorder relations

1995
Preorders are often used as a semantic tool in various fields of computer science. Examples in this direction are the preorder semantics defined for process algebra formalisms, such as testing preorders and bisimulation preorders. Preorders turn out to be useful when modelling divergence or partial specification.
openaire   +5 more sources

Filtral Preorders and Opportunity Inequality

Journal of Economic Theory, 2003
We compare opportunity set distributions by means of set-inclusion filtral preorders (SIFPs). Some significant results of the classic theory of income inequality are reproduced in the SIFP-framework.
Vannucci, Stefano, Savaglio, E.
openaire   +3 more sources

Collapsing graph models by preorders

2005
We present a strategy for obtaining extensional (partial) combinatory algebras by slightly modifying the well-known construction of graph models for the untyped lambda calculus. Using the notion of weak cartesian closed category an elegant interpretation of our construction in a category theoretical setting is given.
Raymond Hoofman, Harold Schellinx
openaire   +2 more sources

Preorders and equivalences on the operator sphere

Siberian Mathematical Journal, 1991
Several preorders for operators from the unit ball in \({\mathcal L}(H)\), \(H\) a Hilbert space, or in general \(C^*\)-algebras, are introduced and investigated.
Khatskevich, V. A., Shmul'yan, Yu. L., Shul'man, V. S.   +2 more
openaire   +1 more source

A Semantic Preorder on Refinement and Fairness

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007
We suggest a preorder notion for Stable Configuration Structures as a semantic model of concurrent systems. It combines the notions of observation-congruence-like fairness and the refinement operation for the specification and analysis of different levels of abstraction.
Xiaowei Huang, Li Jiao, Weiming Lu
openaire   +2 more sources

On the Continuous Representation of Preorders

International Economic Review, 1977
openaire   +1 more source

Fixed point theorems for asymptotically T-regular mappings in preordered modular G-metric spaces applied to solving nonlinear integral equations

Journal of Analysis, 2021
Godwin Okeke, Daniel Francis
exaly  

Preordering

1987
openaire   +1 more source