![این مقاله در پایگاه ساینس دایرکت منتشر شده است Elsevier - ScienceDirect - الزویر - ساینس دایرکت](/assets/img/Elsevier-Logo.png)
Keywords: منطق زیر ساختار; Separation logic; bunched logic; substructural logic; program logic; categorical logic; algebraic logic; representation; Stone duality; complex systems; hyperdoctrine; relational semantics; topological semantics; completeness;