Quantales, observational logic and process semantics

Related Items (85)

The points and diameters of quantales ⋮ On the homomorphisms of power-set \(Q\)-algebras ⋮ An introduction to quantaloid-enriched categories ⋮ Free \(Q\)-algebras. ⋮ When is partial trace equivalence adequate? ⋮ On the power-set \(Q\)-algebras ⋮ Information systems for continuous posets ⋮ Positivity relations on a locale ⋮ Sobriety and spatiality in varieties of algebras ⋮ Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies ⋮ \(*\)-autonomous categories of bimodules ⋮ ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS ⋮ Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators ⋮ Quantal sets and sheaves over quantales ⋮ Quantaloids, enriched categories and automata theory ⋮ The limit and tensor product in the category of Q-P quantale modules ⋮ Coproduct and amalgamation of deductive systems by means of ordered algebras ⋮ Implication via spacetime ⋮ Games and full completeness for multiplicative linear logic ⋮ Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories ⋮ Autonomous posets and quantales ⋮ Continuity spaces: Reconciling domains and metric spaces ⋮ On implementations and semantics of a concurrent programming language ⋮ Enlargements of quantales ⋮ Constructing \(Q\)-algebras from \(Q\)-modules ⋮ Hypergraph functor and attachment ⋮ Quantum B‐modules ⋮ On limits and colimits of variety-based topological systems ⋮ The power of reachability testing for timed automata ⋮ Presenting quotient locales ⋮ Ordered locales ⋮ On the geometry of physical measurements: topological and algebraic aspects ⋮ On a generalization of the concept of state property system ⋮ A categorical equivalence between logical quantale modules and quantum B‐modules ⋮ Categorical foundations of variety-based topology and topological systems ⋮ Recognizability in residuated lattices ⋮ Quantale algebras as lattice-valued quantales ⋮ Mathematical morphology on bipolar fuzzy sets: general algebraic framework ⋮ Unnamed Item ⋮ Localic sup-lattices and tropological systems. ⋮ Entailment systems for stably locally compact locales ⋮ A universal characterization of the double powerlocale ⋮ Representation theorems for \(Q\)-algebras ⋮ The MacNeille completions for residuated \(S\)-posets ⋮ Decision problems for propositional linear logic ⋮ Experimenting with process equivalence ⋮ Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices ⋮ A logical view of composition ⋮ Presenting Dcpos and Dcpo Algebras ⋮ A representation theorem for quantales ⋮ Fuzzy algebras as a framework for fuzzy topology ⋮ Generalized fuzzy topology versus non-commutative topology ⋮ Nuclei and conuclei on residuated lattices ⋮ Quantales, finite observations and strong bisimulation ⋮ A categorical approach to lattice-valued fuzzy automata ⋮ VARIETIES OF EQUALITY STRUCTURES ⋮ Unnamed Item ⋮ Algebraic and Categorical Aspects of Quantales ⋮ Variable-basis topological systems versus variable-basis topological spaces ⋮ Unnamed Item ⋮ Learning in a Changing World, an Algebraic Modal Logical Approach ⋮ On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular ⋮ Some further results on free quantale algebras ⋮ CHARACTERIZATION OF PROJECTIVE QUANTALES ⋮ Categories of quantale-valued fuzzy automata: determinization and minimization ⋮ Precoherent quantale completions of partially ordered semigroups ⋮ Bell States and Negative Sentences in the Distributed Model of Meaning ⋮ An abstract theory of physical measurements ⋮ Unnamed Item ⋮ A fully abstract semantics for concurrent constraint programming ⋮ The connected Vietoris powerlocale ⋮ The reduced relative power operation on abstract domains ⋮ Fuzzy complete lattices ⋮ Unnamed Item ⋮ On injective constructions of \(S\)-semigroups ⋮ Unnamed Item ⋮ A noncommutative theory of Penrose tilings ⋮ Pretopologies and a uniform presentation of sup-lattices, quantales and frames ⋮ On the parallel between the suplattice and preframe approaches to locale theory ⋮ Compactness in locales and in formal topology ⋮ Relational presheaves, change of base and weak simulation ⋮ Projective and injective objects in the category of quantales ⋮ Free quantaloids ⋮ Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems ⋮ Tropological systems are points of quantales

Cites Work

This page was built for publication: Quantales, observational logic and process semantics