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

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, On semi separation axioms in $L$-fuzzifying bitopological spaces, Injective hulls for ordered algebras, Morita contexts and their lattices of relations, The equivalence between fuzzy Mealy and fuzzy Moore machines, Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches, A note on the number of subquantales, Lattice-valued topological systems as a framework for lattice-valued formal concept analysis, Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology, Topological groupoid quantales, Non-commutative logical algebras and algebraic quantales, A coinductive calculus for asynchronous side-effecting processes, The basic Zariski topology, Lattice-valued soft algebras., Isomorphisms and functors of fuzzy sets and cut systems, Completions of cut systems in $Q$-sets, Categorical approaches to non-commutative fuzzy logic, Measure-free conditioning and extensions of additive measures on finite MV-algebras, Alexandroff $L$-co-topological spaces, On injective hulls of $S$-posets, Generalized lower and upper approximations in quantales, A generalization of quantales with applications to modules and rings., Chu connections and back diagonals between $\mathcal{Q}$-distributors, A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety, The order-theoretic duality and relations between partial metrics and local equalities, Categorical foundations of variety-based topology and topological systems, Filters on some classes of quantum B-algebras, Preordered sets valued in a GL-monoid, Coreflective hull of finite strong L-topological spaces, Cut elimination and strong separation for substructural logics: an algebraic approach, Remark on the unital quantale $Q[e$], Grishin algebras and cover systems for classical bilinear logic, Relationship of algebraic theories to powerset theories and fuzzy topological theories for lattice-valued mathematics, Groupoid sheaves as quantale sheaves, Algebraic Kripke-style semantics for relevance logics, Representation theorems for $Q$-algebras, Quantaloidal nuclei, the syntactic congruence and tree automata, The change-base issue for $\Omega$-categories, On approximate-type systems generated by $ L$-relations, Fuzzifying topology induced by a strong fuzzy metric, $\mathcal{Q}$-closure spaces, Categories of quantum and classical channels, Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices, A logical view of composition, $L$-fuzzy strongest postcondition predicate transformers as $L$-idempotent linear or affine operators between semimodules of monotonic predicates, A non-commutative and non-idempotent theory of quantale sets, Groupoid quantales: A non-étale setting, Embedding theorems for classes of GBL-algebras, A representation theorem for quantales, Implication structures, fuzzy subsets, and enriched categories, Pointed semi-quantales and lattice-valued topological spaces, From quantale algebroids to topological spaces: fixed- and variable-basis approaches, A complete characterization of all weakly additive measures and of all valuations on the canonical extension of any finite MV-chain, Sheaves as modules, Girard couples of quantales, Generalized fuzzy topology versus non-commutative topology, Nuclei and conuclei on residuated lattices, Algebraic separation logic, Concurrent Kleene algebra and its foundations, Transforming semantics by abstract interpretation, On stratified $L$-convergence spaces: Fischer's diagonal axiom, Roughness and fuzziness in quantales., On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular, Regular left-continuous t-norms, Topological representation of right-sided and idempotent quantales, Characterization of a category for monoidal topology, Many for the price of one duality principle for affine sets, Ordered groups with a conucleus, The reduced relative power operation on abstract domains, A common framework for lattice-valued uniform spaces and probabilistic uniform limit spaces, Analogizing Hutton's quasi-uniformities for complete lattices and extending Shi's quasi-uniformities to closed set lattices, The quantic conuclei on quantales, A generalization of the Jaffard-Ohm-Kaplansky theorem, Generalized t-norm structures, Free quantaloids, Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids, Regular grammars with truth values in lattice-ordered monoid and their languages, Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions, On the De Morgan's laws for modules, Algebras with compatible quantale-enriched structures, The points and diameters of quantales, Quantum logic and linear logic, Inductive $^{*}$-semirings, Sup-lattice 2-forms and quantales, $L$-almost separation axioms in $L$-fuzzifying-bitopologies via complete residuated lattice-valued logic, Uniformities and a quantale structure on localic groups, A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics, $*$-autonomous categories of bimodules, On extremal domains and codomains for convolution of distributions and fractional calculus, The unitality of quantum B-algebras, Quantal sets and sheaves over quantales, Quantaloids, enriched categories and automata theory, Representation of integral quantales by tolerances, Reducts of relation algebras: the aspects of axiomatisability and finite representability, Characterizing spatial quantales, Recent developments in the theory of skew lattices, Some lattice models of bilinear logic, Twist structures and Nelson conuclei, Open maps of involutive quantales, Relations and non-commutative linear logic, Simple involutive quantales, Coproduct and amalgamation of deductive systems by means of ordered algebras, Weyl integrals on weighted spaces, Quantum MV algebras, Lattice-theoretic contexts and their concept lattices via Galois ideals, Tensor topology, Generalized logic and the representation of rings, On quantaloids and quantal categories, Extension principles for closure operators on fuzzy sets and cuts, A survey on the categorical term construction with applications, Sober metric approach spaces, A category equivalence for odd Sugihara monoids and its applications, Quantales and Fell bundles, Tensor products and relation quantales, Quantalic topological theories, Attaching topological spaces to a module. I: sobriety and spatiality, On the equational definition of the least prefixed point., The many groupoids of a stably Gelfand quantale, The continuous weak order, Relational representation of groupoid quantales, Fuzzy topological spaces with conical neighborhood systems, Stratified $LMN$-convergence tower groups and their stratified $LMN$-uniform convergence tower structures, On a class of residuated semilattice monoids, Quantale algebras as lattice-valued quantales, Spaces with fuzzy partitions and fuzzy transform, Fuzzy objects in spaces with fuzzy partitions, Actions of étale-covered groupoids, Generalized approximations of $( \in ,\in \vee q) $-fuzzy ideals in quantales, Quantale-valued dissimilarity, Fuzzifying interval operators, fuzzifying convex structures and fuzzy pre-orders, Cartesian closedness of a category of non-frame valued complete fuzzy orders, Localic sup-lattices and tropological systems., Generalized rough fuzzy ideals in quantales, Aggregation operators in fuzzy relational mathematical morphology: erosion and dilation, On categorical aspects of $S$-quantales, Regularity of fuzzy convergence spaces, A semantic hierarchy for intuitionistic logic, Free and cofree $S$-quantales, Real coextensions as a tool for constructing triangular norms, Extensions of states on MV-quantales, Composite variety-based topological theories, Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras, Join-completions of partially ordered algebras, On the quantale of quantic nuclei, Generalized MV-algebras, $\bigstar$-autonomous lattices, Value semigroups, value quantales, and positivity domains, Multi-adjoint concept lattices via quantaloid-enriched categories, Met-like categories amongst concrete topological categories, On $(\odot, \operatorname{\&})$-fuzzy rough sets based on residuated and co-residuated lattices, Axiomatic of lattice-valued $F$-transform, Lattice-valued $F$-transforms and similarity relations, Sobriety of quantale-valued cotopological spaces, Semitopological groups, semiclosure semigroups and quantales, Fuzzy Galois connections on fuzzy sets, A comparative study of ideals in fuzzy orders, The completions of multi-posets and quantum B-algebras, A categorical characterization of the least $Q$-quantale completion of $Q$-ordered semigroups, Some further results on free quantale algebras, On the measure of $M$-rough approximation of $L$-fuzzy sets, Mapping ideals to sublocales, Morita equivalence of pseudogroups, Categories of quantale-valued fuzzy automata: determinization and minimization, On $L^M$-valued automata: an operator oriented view, MV-algebras embedded in a CL-algebra, A few notes on quantum $B$-algebras, An abstract theory of physical measurements, $U$-Sets as a possibilistic set theory, Abstractly constructed prime spectra, Equational theories for automata, Sheaves on quantaloids, Involutive and relational quantaloids, Projective and injective objects in the category of quantales, On Krull's separation lemma, Injective hulls of many-sorted ordered algebras, Tropological systems are points of quantales, Frobenius quantales, Serre quantales and the Riemann-Roch theorem, On the homomorphisms of power-set $Q$-algebras, Unnamed Item, Completeness of Hutton [0,1-quasi-uniform spaces], Associativity, commutativity and symmetry in residuated structures, Concurrent Kleene Algebra, Relations on Hypergraphs, Complete congruences on topologies and down-set lattices, From Coalgebraic to Monoidal Traces, M-valued Measure of Roughness for Approximation of L-fuzzy Sets and Its Topological Interpretation, Yoneda completeness and flat completeness of ordered fuzzy sets, Tensor products of complete lattices and their application in constructing quantales, Sierpinski object for affine systems, Fixed points of adjoint functors enriched in a quantaloid, Unnamed Item, Girard quantaloids, A perspective on non-commutative frame theory, Implication via spacetime, Autonomous posets and quantales, Exploring an Interface Model for CKA, On quotients of formal power series, Unitless Frobenius quantales, Pretopologies and completeness proofs, On the geometry of physical measurements: topological and algebraic aspects, Projective quantales: a general view, Catoids and modal convolution algebras, Sheaf representation of monoidal categories, Minimal varieties of involutive residuated lattices, Effect algebras, Girard quantales and complementation in separation logic, $ \ell r$-multisemigroups, modal quantales and the origin of locality, Abstract strategies and coherence, On algebra of program correctness and incorrectness, Lattice-valued Scott topology on dcpos, Many-Valued Preorders I: The Basis of Many-Valued Mathematics, Unnamed Item, Categorically algebraic topology versus universal topology, Algebraic properties of $L$-fuzzy finite automata, Unnamed Item, Local possibilistic logic, Unnamed Item, Fuzzy Galois connections categorically, Characterization of quantale-valued metric spaces and quantale-valued partial metric spaces by convergence, K-FLAT PROJECTIVE FUZZY QUANTALES, Some further results about uninorms on bounded lattices, Complete and directed complete $\Omega $-categories, The MacNeille completions for residuated $S$-posets, Projective sup-algebras: a general view, Unnamed Item, On the category of lattice-valued bornological vector spaces, Further results on $L$-valued filters, Hutton $[0,1$-quasi-uniformities induced by fuzzy (quasi-)metric spaces], On stratified $L$-valued filters induced by $\top$-filters, A categorical approach to lattice-valued fuzzy automata, Fuzzy logics from substructural perspective, MTL-algebras arising from partially ordered groups, Relationship of algebraic theories to powersets over objects in $\mathbf {Set}$ and $\mathbf {Set}\times C$, Distributive laws for the coinductive solution of recursive equations, Unnamed Item, The relationships among several types of fuzzy automata, Rieffel induction and strong Morita equivalence in the context of Hilbert modules, Algebraic and Categorical Aspects of Quantales, Unnamed Item, Characterization of Morita equivalence pairs of quantales, L-equivalence relations on L-fuzzy sets, L-partitions of L-fuzzy sets and their one-to-one connections, Algebraic properties of $LA$-languages, Unnamed Item, PerfectMV-Algebras andl-Rings, Generalized approximation of substructures in quantales by soft relations, ENRICHED LATTICE-VALUED TOPOLOGICAL GROUPS, Unnamed Item, A Coinductive Calculus for Asynchronous Side-Effecting Processes, Precoherent quantale completions of partially ordered semigroups, Quantum Logic in Dagger Kernel Categories, Some studies in the approximation of $(\in_\gamma, \in_\gamma \vee q_\delta)$-fuzzy substructures in quantales, Metagories, A fixed point theorem for commuting families of relational homomorphisms. Applications to metric spaces, ordered sets and oriented graphs, Free monoids and generalized metric spaces, Unnamed Item, On the coextension of cut-continuous pomonoids, Extended-order algebras as a generalization of posets, Dual quantum B-algebras, Some results on the degree of symmetry of fuzzy relations, Representation by triples of algebras with an MV-retract, On the injective hulls of quantum B-algebras, A reduction theorem to compute fixpoints of fuzzy closure operators, On injective constructions of $S$-semigroups, Lattice-valued convergence associated with CNS spaces, Unnamed Item, Fuzzy quantic nuclei and conuclei with applications to fuzzy semi-quantales and $(L,M)$-quasi-fuzzy topologies, Gentzen-type calculi for involutive quantales, Pretopologies and a uniform presentation of sup-lattices, quantales and frames, Completions, comonoids, and topological spaces, Modal algebra and Petri nets, Functoriality of groupoid quantales. I., Symmetric Heyting relation algebras with applications to hypergraphs, STRATIFIED LATTICE-VALUED BALANCED NEIGHBORHOOD TOPOLOGICAL GROUPS, On fuzzification of topological categories, Enriched lattice-valued convergence groups, Two Cartesian closed subcategories of fuzzy domains, Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems, ON THE RELATIONSHIPS BETWEEN VARIOUS LATTICE-VALUED TOPOLOGICAL GROUPS AND THEIR UNIFORMITIES