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)

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 ⋮ Localic sup-lattices and tropological systems. ⋮ Generalized rough fuzzy ideals in quantales ⋮ 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 ⋮ The reduced relative power operation on abstract domains ⋮ Generalized t-norm structures ⋮ 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

This page was built for publication: