Results 141 to 150 of about 443 (167)

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

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   +4 more sources

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   +1 more source

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   +1 more source

Torsion theories and coverings of preordered groups

Algebra Universalis, 2021
Marino Gran, Gran Marino
exaly  

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 Amechi Okeke, Daniel Francis
exaly  

Preordering

1987
openaire   +1 more source

Preordered sets valued in a GL-monoid

Fuzzy Sets and Systems, 2012
Dexue Zhang
exaly  

On fuzzy preordered structures and (Fuzzy) hyperstructures

Acta Mathematica Sinica, English Series, 2012
Irina Cristea, M Jafarpour, Cristea Irina   +2 more
exaly