Keywords: دوگانگی سنگ; Separation logic; bunched logic; substructural logic; program logic; categorical logic; algebraic logic; representation; Stone duality; complex systems; hyperdoctrine; relational semantics; topological semantics; completeness;
مقالات ISI دوگانگی سنگ (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: دوگانگی سنگ; Ultrafilters; Formal languages; Profinite equations; Regular languages; Stone duality
Keywords: دوگانگی سنگ; Distributive lattice; Wallman functor; Stone duality; Boolean algebras;
Keywords: دوگانگی سنگ; 06D50; 06F05; 54B40; Skew lattice; Stone duality; Priestley duality; Sheaves over a Priestley space; Sheaves over a spectral space; Non-commutative algebra;
Stone duality above dimension zero: Axiomatising the algebraic theory of C(X)
Keywords: دوگانگی سنگ; primary; 03C05; secondary; 06D35; 06F20; 46E25; Algebraic theories; Stone duality; Boolean algebras; MV-algebras; Lattice-ordered Abelian groups; Câ-algebras; Rings of continuous functions; Compact Hausdorff spaces; Stone-Weierstrass Theorem; Axiomati
Subgroups of the group of homeomorphisms of the Cantor space and a duality between a class of inverse monoids and a class of Hausdorff étale groupoids
Keywords: دوگانگی سنگ; 20M18; 18B40; 06E15Inverse semigroups; Étale topological groupoids; Stone duality; Thompson groups; Homeomorphisms of the Cantor space
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
Keywords: دوگانگی سنگ; primary, 06D35; secondary, 06F20, 06D50, 18F20, 54B40MV-algebra; Lattice-ordered abelian group; Distributive lattice; Stone duality; Priestley duality; Sheaf representation; Étale decomposition; Spectral space; Compact Hausdorff space; Stably compact spac