scientific article

Publication date: 17 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

linear logic frame residuated lattices quantale generalized locale ideal theory of rings Girard quantales non-commutative conjunction representation theory of non-commutative $C^ *$-algebras sheaf on a quantale skewframe

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) General theory of (C^*)-algebras (46L05) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Ideals and multiplicative ideal theory in commutative rings (13A15) Ordered semigroups and monoids (06F05) Preorders, orders, domains and lattices (viewed as categories) (18B35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02) Modules, bimodules and ideals in associative algebras (16D99)

Related Items (only showing first 100 items - show all)

Completely distributive enriched categories are not always continuous ⋮ Non-associative Kleene Algebra and Temporal Logics ⋮ Quantale-valued sup-algebras ⋮ Formal balls of Q-categories ⋮ The spectrum of a localic semiring ⋮ ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS ⋮ Fuzzy closure operators and their applications ⋮ Doctrines, modalities and comonads ⋮ The limit and tensor product in the category of Q-P quantale modules ⋮ Bounded sobriety and k-bounded sobriety of Q-cotopological spaces ⋮ Convolution and concurrency ⋮ Locally unital quantum B-algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Preorders, Partial Semigroups, and Quantales ⋮ The Involutive Quantaloid of Completely Distributive Lattices ⋮ Valued quantum B-algebras ⋮ Reflectors to quantales ⋮ Monoids with quantale-valued preorders: globalizations and localizations ⋮ Enlargements of quantales ⋮ A category of complete residuated lattice-value neighborhood groups ⋮ On fuzzy monotone convergence $\mathcal{Q}$-cotopological spaces ⋮ Diagonals between $\mathcal{Q}$-distributors ⋮ Sierpinski object for composite affine spaces ⋮ Constructing $Q$-algebras from $Q$-modules ⋮ On the cancellation problem for quantales ⋮ Quantum B‐modules ⋮ Powerset operators induced by fuzzy relations as a basis for fuzzification of various mathematical structures ⋮ On strongly harmonic and Gelfand modules ⋮ Ordinal sum of quantales ⋮ The quantale of order-preserving maps of a completely distributive lattice ⋮ Dilations and information flow axioms in categorical probability ⋮ Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras ⋮ Resource convertibility and ordered commutative monoids ⋮ Enumerating, cataloguing and classifying all quantales on up to nine elements ⋮ Recognizability in residuated lattices ⋮ Completions of posemigroups by cuts and beyond ⋮ On a Category of Extensional Fuzzy Rough Approximation L-valued Spaces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ CHANGE OF BASIS FOR LATTICE-VALUED CONVERGENCE GROUPS ⋮ C-continuous fuzzy posets ⋮ Convergence in formal topology: a unifying notion ⋮ Residuated frames with applications to decidability ⋮ Morita contexts and unitary ideals of rings ⋮ Extensivity of categories of relational structures ⋮ On the Logic of Generalised Metric Spaces ⋮ Modules in the category of sheaves over quantales ⋮ Quantales, finite observations and strong bisimulation ⋮ Sequent calculus and data fusion ⋮ Unnamed Item ⋮ Ideals and congruences in effect algebras and qmv-algebras ⋮ Functorial maximal spectra ⋮ Quantale-valued generalizations of approach spaces and quantale-valued topological spaces ⋮ Two types of Galois correspondences over quantaloid-typed sets ⋮ Unnamed Item ⋮ On the finite embeddability property for residuated ordered groupoids ⋮ Modules in the Category $$\mathtt {\mathbf{Sup}}$$ ⋮ Fuzzy Topologies and Fuzzy Preorders Based on Complete Co-residuated Lattices ⋮ Variable-Range Approximate Systems Induced by Many-Valued L-Relations ⋮ Differential logical relations, Part I: The simply-typed case ⋮ Totally Ordered Monoids Based on Triangular Norms ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ Moore-Penrose equations in involutive residuated semigroups and involutive quantales ⋮ On the continuous action of enriched lattice-valued convergence groups: Some examples ⋮ Topological semigroups and their prequantale models ⋮ Quantum B-algebras with involutions ⋮ Quantale-Valued Generalizations of Approach Groups ⋮ Quantale-Valued Uniformizations of Quantale-Valued Generalizations of Approach Groups ⋮ Measure of Operators Associated with Fuzzy Automata ⋮ An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem ⋮ L-algebras and topology ⋮ Current trends in substructural logics ⋮ Density in categorical topology via quantaloid-enriched categories ⋮ The saturated prefilter monad ⋮ A duality between $\Omega$-categories and algebraic $\Omega$-categories ⋮ Enriched categories and many-valued preorders: categorical, semantical, and topological perspectives ⋮ Some corollaries of the correspondence between partial metrics and multivalued equalities ⋮ Sheaves on involutive quantales: Grothendieck quantales. ⋮ Categorical foundations of topology with applications to quantaloid enriched topological spaces ⋮ Quantale-valued preorders: globalization and cocompleteness. ⋮ Lattice-valued bornological systems ⋮ Lattice-valued preordered sets as lattice-valued topological systems ⋮ Free $Q$-algebras. ⋮ The construction of left-continuous t-norms: a geometric approach in two dimensions ⋮ On the power-set $Q$-algebras ⋮ Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL ⋮ Uniform environments as a general framework for metrics and uniformities ⋮ Sobriety and spatiality in varieties of algebras ⋮ A bi-intuitionistic modal logic: foundations and automation ⋮ Multi-posets in algebraic logic, group theory, and non-commutative topology ⋮ $\mathcal Q$-$*$-categories ⋮ On derivations of quantales ⋮ Hereditary arithmetics ⋮ Étale groupoids and their quantales ⋮ Topological representation and quantic separation axioms of semi-quantales

This page was built for publication: