DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Quantale
Quantale
A Semiring Approach to Equivalences, Bisimulations and Control
The Involutive Quantaloid of Completely Distributive Lattices Luigi Santocanale
Representation of Integral Quantales by Tolerances
Quantale Algebras As a Generalization of Lattice-Valued Frames
The Spectrum of a Localic Semiring Directly in Terms of Overt Weakly Closed Radical Ideals, but This Might Not Be Completely Convincing
Tensor Products and Relation Quantales
Quantale Modules, with Applications to Logic and Image Processing
An Introduction to Idempotency Jeremy Gunawardena Basic Research Institute in the Mathematical Sciences HP Laboratories Bristol HPL-BRIMS-96-24 September, 1996
Arxiv:1909.07620V2 [Math.CT]
A Complete Lattice Admitting No Co-Monoid Structure
From Contradiction to Conciliation: a Way To" Dualize" Sheaves
Quantales and Hyperstructures
Gabriel Topologies on Coherent Quantales'
Quantales, Observational Logic and Process Semantics
Quantales and Their Modules: Projective Objects, Ideals, And
On Derivations of Quantales
A Complete Lattice Admitting No Co-Monoid Structure
Why Mathematical Morphology Needs Quantales
Top View
Morita Contexts and Unitary Ideals of Rings
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras
Projective Quantales and Quantale Modules
Idempotent Analysis and Continuous Semilattices
A Representation Theorem for Quantales
Order Algebras As Models of Linear Logic 197 Arising in Net Semantics Can Be Characterized Abstractly Within the Class of All Quantales
Quantum B-Algebras
Quantales and Hyperstructures
On Some Basic Constructions in Categories of Quantale-Valued Sup-Lattices
I. Quantales Definition 1.1 a Quantale Is a Complete Lattice Q With
Arxiv:1707.09227V1 [Math.AG] 28 Jul 2017 Professor Martin Olsson (Chair) Professor Matt Baker (Advisor) Professor Allan Sly
Constructing Quantales and Their Modules from Monoidal Categories Cahiers De Topologie Et Géométrie Différentielle Catégoriques, Tome 37, No 2 (1996), P
Manuell2020 Redacted.Pdf
Mathematical Proof and Many-Valued Logic
A NOTE on NUCLEI of QUANTALE ALGEBRAS∗ 1. Introduction
Arxiv:1612.05694V1 [Math.CT] 17 Dec 2016 Rnia Da 1,2,3] If 34]
A Convolution As a Unifying Concept: Applications in Separation Logic, Interval Calculi and Concurrency