Pages that link to "Item:Q4279244"
From MaRDI portal
The following pages link to Quantales, observational logic and process semantics (Q4279244):
Displaying 39 items.
- Information systems for continuous posets (Q2367538) (← links)
- A categorical approach to lattice-valued fuzzy automata (Q2492335) (← links)
- A noncommutative theory of Penrose tilings (Q2575470) (← links)
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames (Q2575764) (← links)
- On the parallel between the suplattice and preframe approaches to locale theory (Q2575778) (← links)
- Compactness in locales and in formal topology (Q2575779) (← links)
- Implication via spacetime (Q2658280) (← links)
- On the geometry of physical measurements: topological and algebraic aspects (Q2684760) (← links)
- Characterization of projective quantales (Q2811986) (← links)
- Bell states and negative sentences in the distributed model of meaning (Q2825369) (← links)
- Coalgebraic trace semantics for combined possibilitistic and probabilistic systems (Q2873666) (← links)
- VARIETIES OF EQUALITY STRUCTURES (Q3043518) (← links)
- Algebraic and Categorical Aspects of Quantales (Q3053874) (← links)
- Learning in a Changing World, an Algebraic Modal Logical Approach (Q3067471) (← links)
- (Q3085435) (← links)
- (Q3148769) (← links)
- Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators (Q3178281) (← links)
- (Q4285618) (← links)
- Games and full completeness for multiplicative linear logic (Q4302352) (← links)
- Autonomous posets and quantales (Q4304551) (← links)
- (Q4322438) (← links)
- (Q4344804) (← links)
- Quantales and structural rules (Q4716049) (← links)
- A Logical Viewpoint on Process-algebraic Quotients (Q4812317) (← links)
- (Q4888145) (← links)
- (Q4945247) (← links)
- The limit and tensor product in the category of Q-P quantale modules (Q5069784) (← links)
- Measurement-Theoretic Foundations of Observational-Predicate Logic (Q5213673) (← links)
- ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS (Q5297785) (← links)
- Presenting Dcpos and Dcpo Algebras (Q5415639) (← links)
- Quantales, finite observations and strong bisimulation (Q5940918) (← links)
- On implementations and semantics of a concurrent programming language (Q6044131) (← links)
- Enlargements of quantales (Q6066738) (← links)
- Constructing \(Q\)-algebras from \(Q\)-modules (Q6083140) (← links)
- Quantum B‐modules (Q6094142) (← links)
- Presenting quotient locales (Q6115833) (← links)
- Ordered locales (Q6117885) (← links)
- A categorical equivalence between logical quantale modules and quantum B‐modules (Q6140753) (← links)
- Robustness in metric spaces over continuous quantales and the Hausdorff-Smyth monad (Q6605363) (← links)
