Keywords: 06D22; 06D75; 06F07; 06E15; 18B40; 20M18; 20M99; 22A22; 54B30; 54H10; Quantale; Frame; Locale; Localic category; Topological category; Ãtale category; Ãtale groupoid; Restriction semigroup; Weakly E-ample semigroup; Ample semigroup; Ehresmann semigroup;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: Semi-quantales; Spatiality; Sobriety; L-quasi-topology; Separation axioms; 06F07; 54A40; 54H10; 54D15;
Keywords: 03B22; 03B70; 03G30; 06A15; 06F07; 18A15
Keywords: 03G27; 06F07; 03B47; 18A15Algebraizable logics; Abstract algebraic logic; Structural closure operators; Semantic isomorphism theorem; Evaluational frames; Compositional lattice
The many groupoids of a stably Gelfand quantale
Keywords: 06F07; 20M18; 22A22; Stably Gelfand quantales; Pseudogroups; Inverse quantal frames; Ãtale groupoids;
Quantales and Fell bundles
Keywords: 06F07; 20M18; 22A22; 46L05; 46L85; 46L89; 46M99; Locally compact étale groupoids; Fell bundles; Reduced and full C*-algebras; Stably Gelfand quantales; Maps of involutive quantales; Cartan subalgebras and Weyl groupoids;
Functoriality of groupoid quantales. I
Keywords: 06D22; 06F07; 18B99; 18D05; 20M18; 22A22; 46M15; 54H10
Non-commutative logical algebras and algebraic quantales
Keywords: primary; 03G27; 06F07; 20F60; 06B23; Quantale; Quantum B-algebra; Enveloping quantale; Pseudo-BCK algebra; Quantum BL-algebra; Partially ordered group;
Extended-valued topical and anti-topical functions on semimodules
Keywords: primary; 06F07; 26B25; secondary; 52A01; 06F20; Semifield; Semimodule; b-Complete; Extended product; Extended-valued function; Topical function; Anti-topical function; Elementary topical function; Fenchel-Moreau conjugate; Biconjugate; Support function;