Pages that link to "Item:Q4279244"
From MaRDI portal
The following pages link to Quantales, observational logic and process semantics (Q4279244):
Displaying 50 items.
- An introduction to quantaloid-enriched categories (Q277336) (← links)
- Free \(Q\)-algebras. (Q279346) (← links)
- On the power-set \(Q\)-algebras (Q284662) (← links)
- Positivity relations on a locale (Q290642) (← links)
- On limits and colimits of variety-based topological systems (Q409742) (← links)
- On a generalization of the concept of state property system (Q416295) (← links)
- Categorical foundations of variety-based topology and topological systems (Q419052) (← links)
- Fuzzy algebras as a framework for fuzzy topology (Q549319) (← links)
- Generalized fuzzy topology versus non-commutative topology (Q549320) (← links)
- Nuclei and conuclei on residuated lattices (Q549349) (← links)
- Hypergraph functor and attachment (Q622061) (← links)
- Representation theorems for \(Q\)-algebras (Q666689) (← links)
- Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices (Q682665) (← links)
- A logical view of composition (Q685416) (← links)
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular (Q732053) (← links)
- Free quantaloids (Q805732) (← links)
- Sobriety and spatiality in varieties of algebras (Q835242) (← links)
- Towards ``dynamic domains'': totally continuous cocomplete \(\mathcal Q\)-categories (Q875519) (← links)
- Variable-basis topological systems versus variable-basis topological spaces (Q989684) (← links)
- The connected Vietoris powerlocale (Q1030196) (← links)
- Fuzzy complete lattices (Q1040912) (← links)
- Decision problems for propositional linear logic (Q1192352) (← links)
- Experimenting with process equivalence (Q1194327) (← links)
- A representation theorem for quantales (Q1208239) (← links)
- A fully abstract semantics for concurrent constraint programming (Q1275748) (← links)
- The reduced relative power operation on abstract domains (Q1285656) (← links)
- When is partial trace equivalence adequate? (Q1333407) (← links)
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- Continuity spaces: Reconciling domains and metric spaces (Q1391864) (← links)
- The power of reachability testing for timed automata (Q1399974) (← links)
- Localic sup-lattices and tropological systems. (Q1427786) (← links)
- Entailment systems for stably locally compact locales (Q1434362) (← links)
- A universal characterization of the double powerlocale (Q1434363) (← links)
- Tropological systems are points of quantales (Q1612161) (← links)
- The points and diameters of quantales (Q1617061) (← links)
- Quantale algebras as lattice-valued quantales (Q1701738) (← links)
- Projective and injective objects in the category of quantales (Q1861462) (← links)
- Quantal sets and sheaves over quantales (Q1897895) (← links)
- Quantaloids, enriched categories and automata theory (Q1899876) (← links)
- Mathematical morphology on bipolar fuzzy sets: general algebraic framework (Q1951291) (← links)
- Some further results on free quantale algebras (Q2041257) (← links)
- Categories of quantale-valued fuzzy automata: determinization and minimization (Q2053055) (← links)
- An abstract theory of physical measurements (Q2062513) (← links)
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies (Q2134814) (← links)
- Coproduct and amalgamation of deductive systems by means of ordered algebras (Q2169140) (← links)
- The MacNeille completions for residuated \(S\)-posets (Q2239394) (← links)
- Precoherent quantale completions of partially ordered semigroups (Q2308108) (← links)
- On injective constructions of \(S\)-semigroups (Q2329014) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- On the homomorphisms of power-set \(Q\)-algebras (Q2361721) (← links)
