Quantales, observational logic and process semantics

Recommendations

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

Cited in

(99)

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

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)