Quantales, observational logic and process semantics

Recommendations

scientific article; zbMATH DE number 1829371
Quantales, finite observations and strong bisimulation
Publication:4508560
Localic sup-lattices and tropological systems.

Cited in

(92)

Precoherent quantale completions of partially ordered semigroups
Relational presheaves, change of base and weak simulation
The limit and tensor product in the category of Q-P quantale modules
Autonomous posets and quantales
scientific article; zbMATH DE number 909654 (Why is no real title available?)
On the geometry of physical measurements: topological and algebraic aspects
Ordered locales
Quantales and structural rules
Categories of quantale-valued fuzzy automata: determinization and minimization
Recognizability in residuated lattices
Robustness in metric spaces over continuous quantales and the Hausdorff-Smyth monad
A categorical equivalence between logical quantale modules and quantum B‐modules
Quantum B‐modules
Enlargements of quantales
Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies
The points and diameters of quantales
scientific article; zbMATH DE number 1424056 (Why is no real title available?)
Bell states and negative sentences in the distributed model of meaning
scientific article; zbMATH DE number 1036407 (Why is no real title available?)
Implication via spacetime
Presenting quotient locales
Learning in a changing world, an algebraic modal logical approach
Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
A Logical Viewpoint on Process-algebraic Quotients
Measurement-Theoretic Foundations of Observational-Predicate Logic
Coproduct and amalgamation of deductive systems by means of ordered algebras
Free quantaloids
Experimenting with process equivalence
A logical view of composition
Representation theorems for \(Q\)-algebras
Some further results on free quantale algebras
scientific article; zbMATH DE number 720881 (Why is no real title available?)
Algebraic and categorical aspects of quantales
Positivity relations on a locale
ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS
scientific article; zbMATH DE number 1512862 (Why is no real title available?)
Decision problems for propositional linear logic
When is partial trace equivalence adequate?
An introduction to quantaloid-enriched categories
On fuzzification of the notion of quantaloid
Entailment systems for stably locally compact locales
Free \(Q\)-algebras.
On the power-set \(Q\)-algebras
Projective and injective objects in the category of quantales
Sobriety and spatiality in varieties of algebras
Games and full completeness for multiplicative linear logic
On a generalization of the concept of state property system
Categorical foundations of variety-based topology and topological systems
On injective constructions of \(S\)-semigroups
Hypergraph functor and attachment
The connected Vietoris powerlocale
A noncommutative theory of Penrose tilings
Mathematical morphology on bipolar fuzzy sets: general algebraic framework
On limits and colimits of variety-based topological systems
Fuzzy algebras as a framework for fuzzy topology
VARIETIES OF EQUALITY STRUCTURES
Variable-basis topological systems versus variable-basis topological spaces
The MacNeille completions for residuated \(S\)-posets
Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
Presenting dcpos and dcpo algebras
Coalgebraic trace semantics for combined possibilitistic and probabilistic systems
Quantale algebras as lattice-valued quantales
On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
Nuclei and conuclei on residuated lattices
scientific article; zbMATH DE number 1804029 (Why is no real title available?)
Characterization of projective quantales
scientific article; zbMATH DE number 1829371 (Why is no real title available?)
Continuity spaces: Reconciling domains and metric spaces
scientific article; zbMATH DE number 529899 (Why is no real title available?)
On implementations and semantics of a concurrent programming language
Fuzzy complete lattices
Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices
Information systems for continuous posets
A universal characterization of the double powerlocale
Constructing \(Q\)-algebras from \(Q\)-modules
A representation theorem for quantales
Compactness in locales and in formal topology
On the parallel between the suplattice and preframe approaches to locale theory
Pretopologies and a uniform presentation of sup-lattices, quantales and frames
Tropological systems are points of quantales
On the homomorphisms of power-set \(Q\)-algebras
\(*\)-autonomous categories of bimodules
The reduced relative power operation on abstract domains
Localic sup-lattices and tropological systems.
An abstract theory of physical measurements
The power of reachability testing for timed automata
A fully abstract semantics for concurrent constraint programming
Quantaloids, enriched categories and automata theory
Generalized fuzzy topology versus non-commutative topology
Quantal sets and sheaves over quantales
Quantales, finite observations and strong bisimulation
A categorical approach to lattice-valued fuzzy automata

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4279244)